CSP2SAT4J
From MaRDI portal
Software:22050
No author found.
Related Items (3)
ASlib: a benchmark library for algorithm selection ⋮ Learning general constraints in CSP ⋮ Representative Encodings to Translate Finite CSPs into SAT
This page was built for software: CSP2SAT4J
