Search results

finitedomain

A fast feature rich finite domain solver

• constraint solving
• GSAT
• finite domain solver
• FD

kuvos

published 3.0.0 • 7 years agopublished 3.0.0 7 years ago

fdlib

Shared library files for the fdq package

• constraint solving
• GSAT
• finite domain solver
• FD
• Solving

kuvos

published 0.0.1 • 7 years agopublished 0.0.1 7 years ago

fdp

Finite Domain Problem reduction system

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

kuvos

published 0.0.5 • 7 years agopublished 0.0.5 7 years ago

fdq

Finite Domain reduction system and solver by qFox

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

kuvos

published 0.0.4 • 7 years agopublished 0.0.4 7 years ago

fdo

A brute force Finite Domain Solver

• constraint solving
• GSAT
• finite domain solver
• FD
• Solving

kuvos

published 0.0.2 • 7 years agopublished 0.0.2 7 years ago