fdp

Finite Domain Problem reduction system


Keywords
constraint solving, GSAT, finite domain solver, FD, Constraint Reduction system, Minifier, Logic, Deduction
License
MIT
Install
npm install fdp@0.0.4