About

A CSP solver with multiple techniques including LCV, MRV,DH , Forward Check and AC3. Accepts Desription of problem in a text file with a more lax format then a programming language or in a python dictionary, feel free to check the demos !

Stars

Watchers

Forks