Home
/
Search
Keyword: Reduction system
fdq
Released
8 years ago
Version
0.0.4
Finite Domain reduction system and solver by qFox
constraint solving
GSAT
finite domain solver
FD
Reduction system
Minifier
+2