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

fdlib

Shared library files for the fdq package

v0.0.1 URL: https://unpkg.com/fdlib@0.0.1/helpers.js

Open Browse Files

constraint solving GSAT finite domain solver FD Solving

finitedomain

A fast feature rich finite domain solver

v3.0.0 URL: https://unpkg.com/finitedomain@3.0.0/dist/finitedomain.dist.min.js

Open Browse Files

constraint solving GSAT finite domain solver FD

fdo

A brute force Finite Domain Solver

v0.0.2 URL: https://unpkg.com/fdo@0.0.2/dist/fdo.dist.min.js

Open Browse Files

constraint solving GSAT finite domain solver FD Solving