j4fsolver

Библиотека методов решения задач разрешимости и дискретного программирования

Сборка

git clone https://github.com/squeakbug/j4fsolver
cd j4fsolver
cabal install

Запуск примеров

cabal run eight-queens

Тестирование

cabal test

Список использованных источников:

• https://github.com/chris-taylor/aima-haskell
• https://andrew.gibiansky.com/blog/verification/writing-a-sat-solver/
• Старая книга со списком всех (доказанных на тот момент) NP-полных и NP-трудных задач