https://github.com/adriacabeza/li
Puta bida tt
https://github.com/adriacabeza/li
Last synced: 8 months ago
JSON representation
Puta bida tt
- Host: GitHub
- URL: https://github.com/adriacabeza/li
- Owner: adriacabeza
- Created: 2019-02-22T14:57:37.000Z (over 6 years ago)
- Default Branch: master
- Last Pushed: 2021-04-23T08:26:38.000Z (over 4 years ago)
- Last Synced: 2025-01-11T03:41:49.072Z (9 months ago)
- Language: Prolog
- Homepage:
- Size: 52.1 MB
- Stars: 1
- Watchers: 3
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Logic in Computer Science
### [Lab 1: Creating a SAT solver](https://github.com/adriacabeza/LI/tree/master/Lab1)
How to execute:
```bash
sudo apt-get install picosat
make
./scriptPicoSAT.sh
```## [Lab 2: Prolog](https://github.com/adriacabeza/LI/tree/master/Lab2)
Set of several problems with Prolog.
First you have to install swipl:
```bash
sudo add-apt-repository ppa:swi-prolog/stable
sudo apt-get update
sudo apt-get install swi-prolog
```How to execute
```bash
swipl
[name_of_the_program].
```## [Lab3: SAT with Prolog](https://github.com/adriacabeza/LI/tree/master/Lab3)
- Bus
- Events
- Teams## [Lab4: Optimization with SAT and Prolog](https://github.com/adriacabeza/LI/tree/master/Lab4)
- Teams
- MinColoring
- Horaris## [Lab5 : Advanced Prolog](https://github.com/adriacabeza/LI/tree/master/Lab5)
- TSP
- Tomografia
- Squares
- Monedas
- Cubo