Picat-SAT
From MaRDI portal
Software:33659
No author found.
Related Items (4)
Coupling different integer encodings for SAT ⋮ MiniZinc with strings ⋮ SUNNY-CP and the MiniZinc challenge ⋮ Boosting Answer Set Optimization with Weighted Comparator Networks
This page was built for software: Picat-SAT
