This work is licensed under a Creative Commons Attribution 4.0 International License. A dedicated CNF-SAT encoder and decoder can be found here.
| File | Type | Notes |
|---|---|---|
| car.pl | B-Prolog | |
| car.co | Comet | |
| prob001-CarSeq.essence | Essence | |
| carSequencing.eprime | Essence' | |
| car.mzn | MiniZinc | |
| car.pi | Picat | |
| sicstus_csplib001.pl | SICStus Prolog |
This work is licensed under a Creative Commons Attribution 4.0 International License.