Создан заказ №6390279
21 марта 2021
Троичное моделирование комбинационных схем с применением Sat-решателя
Как заказчик описал требования к работе:
На вход подается формула из н- входных переменных.Реализовать код на С++ по заданному алгоритму(имеется алгоритм приведения к КНФ), применить один из Сат решателей(Minisat) и проверить выполнимость формулы.
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией для внесения правок на основе комментариев преподавателя
24 марта 2021
Заказ завершен, заказчик получил финальный файл с работой
5
Троичное моделирование комбинационных схем с применением Sat-решателя.docx
2021-03-27 00:22
Последний отзыв студента о бирже Автор24
Общая оценка
4
Положительно
Работа была сделана в последний срок,автор решал много проблем,чтобы программа заработала на моем компе и тратил много времени.