fzn2smt

swMATH13501MaRDI QIDQ25415FDOQ25415

Author name not available (Why is that?)

Official website: http://ima.udg.edu/Recerca/lap/fzn2smt/

Described by source

• Solving constraint satisfaction problems with SAT modulo theories

Cited In (8)

• A constraint-based local search backend for MiniZinc
• FlatZinc
• Cadmium
• URBiVA
• SIMPLY
• MiningZinc
• URSA: a system for uniform reduction to SAT
• MiningZinc: a declarative framework for constraint-based mining

This page was built for software: fzn2smt