fzn2smt

MaRDI QIDQ25415swMATHFDO

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
• MiningZinc: a declarative framework for constraint-based mining
• URSA: a system for uniform reduction to SAT

This page was built for software: fzn2smt