and Automated Reasoning
Collection of previous exercises
- Exercise 1: 8 queens problem.
(7/3/2018) >> An implementation (Queens.zip) as a SAT problem by
Daniel Iglesias, mixing clasp, C, and a graphical
interface in java.
- Exercise 2: La Liga schedule
(Spanish Soccer Competition calendar).
Maintained by Pedro Cabalar