In this course we used SAT, SMT and CSP to solve the Virtual Machine Consolidation problem (defined in the folder specs) in our 1st, 2nd and 3rd projects, respectively.
Project 1 (SAT) -> here
Project 2 (SMT) -> here
Project 3 (CSP) -> here
rodamber/alc
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Repository for the Algorithms for Computational Logic 2016/2017 course at IST, University of Lisbon
Topics
Resources
Stars
Watchers
Forks
Packages 0
No packages published