Constraint solving | npm.io

A fast feature rich finite domain solver

constraint solving GSAT finite domain solver FD

3.0.0 • Published 7 years ago

Finite Domain reduction system and solver by qFox

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

0.0.4 • Published 7 years ago

Finite Domain Problem reduction system

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

0.0.5 • Published 7 years ago

A brute force Finite Domain Solver

constraint solving GSAT finite domain solver FD Solving

0.0.2 • Published 7 years ago

Shared library files for the fdq package

constraint solving GSAT finite domain solver FD Solving

0.0.1 • Published 7 years ago