During the course of Algorithms for Computational Logic at Instituto Superior Técnico, we were proposed to develop a software tool that solves the Single Machine Scheduling problem (JFS). In the first delivery we solved it with maxSAT,in the second with SMT, and finally, in the third we use CSP. The solutions are in their respective folders in this repository.
- João Palet
- Miguel Grilo