This work is licensed under a Creative Commons Attribution 4.0 International License. | File | Type | Notes |
|---|---|---|
| water_buckets1.co | Comet | |
| water_buckets.essence | Essence | |
| water_buckets_regular.mzn | MiniZinc | |
| water_buckets1.mzn | MiniZinc | |
| enumerate.pl | pl |
This work is licensed under a Creative Commons Attribution 4.0 International License.