# ALC - 2019/2020
Algorithms for Computational Logic's project.

## Introduction
The project is to develop a software tool for constructing decision trees given a set of samples. It has as reference the paper [Narodytska et al](https://www.ijcai.org/proceedings/2018/0189.pdf).

- [Project 1 (SAT)](/src/proj1)
- [Project 2 (SMT)](/src/proj2)
- [Project 3 (CSP)](/src/proj3)
- [Project 4 (ASP)](/src/proj4)

## Requirements
- GNU/Linux
- Python 3
- More requirements explained in each project.

## References
[[Narodytska et al](https://www.ijcai.org/proceedings/2018/0189.pdf)] N. Narodytska, A. Ignatiev, F. Pereira, and J. Marques-Silva.  Learning optimal decision trees with SAT.  In J. Lang, editor,Proceedings of the Twenty-Seventh International JointConference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden.,pages 1362–1368. ijcai.org, 2018.