j4fsolver

Hunt the Wumpus!

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

Сборка

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-трудных задач
• https://en.wikipedia.org/wiki/ACT-R