fdp

Finite Domain Problem reduction system

v0.0.5 URL: https://unpkg.com/fdp@0.0.5/dist/fdp.dist.min.js

Open Browse Files

constraint solving GSAT finite domain solver FD Constraint Reduction system Minifier Logic Deduction

fdq

Finite Domain reduction system and solver by qFox

v0.0.4 URL: https://unpkg.com/fdq@0.0.4/dist/fdq.dist.min.js

Open Browse Files

constraint solving GSAT finite domain solver FD Reduction system Minifier Logic Deduction