fzn2smt

swMATH13501MaRDI QIDQ25415

No author found.

Described by source

• Solving constraint satisfaction problems with SAT modulo theories

Related Items (3)

URSA: A System for Uniform Reduction to SAT ⋮ A constraint-based local search backend for MiniZinc ⋮ MiningZinc: a declarative framework for constraint-based mining

This page was built for software: fzn2smt