An open API service indexing awesome lists of open source software.

https://github.com/adriacabeza/li

Puta bida tt
https://github.com/adriacabeza/li

Last synced: 8 months ago
JSON representation

Puta bida tt

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