Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/lorenzleutgeb/ils
https://github.com/lorenzleutgeb/ils
Last synced: about 1 month ago
JSON representation
- Host: GitHub
- URL: https://github.com/lorenzleutgeb/ils
- Owner: lorenzleutgeb
- Created: 2018-03-01T09:50:06.000Z (almost 7 years ago)
- Default Branch: master
- Last Pushed: 2018-06-07T09:50:16.000Z (over 6 years ago)
- Last Synced: 2024-11-14T15:21:42.359Z (about 1 month ago)
- Language: TeX
- Size: 904 KB
- Stars: 0
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# Integrated Logic Systems
This are the implementations of Team White (Aneta Koleva, [@uomoinverde](https://github.com/uomoinverde), [@lorenzleutgeb](https://github.com/lorenzleutgeb))
for Integrated Logic Systems at Free University of Bozen-Bolzano in the summer term 2018.
## Labs
| Directory | Task | Keywords |
| ----------------- | ---------------------------------- | --------------------------------- |
| `Labs/2018-02-28` | Using SAT Solvers | Sudoku, Python, MiniSat |
| `Labs/2018-03-07` | Empirical Evluation of SAT Provers | Phase Transition, Sudoku, MiniSat |
| `Labs/2018-03-21` | Futoshiki and PyEDA | |
| `Labs/2018-03-28` | Ordered Binary Decision Diagrams | Finite Transition Systems |
| `Labs/2018-04-04` | Quantified Boolean Formulae | DepQBF |
| `Labs/2018-04-11` | Pseudo Boolean Satisfaction | |
| `Labs/2018-05-09` | Using a SMT Solver | z3 |
| `Labs/2018-05-16` | Assignment Problem and SMT | z3 |
| `Labs/2018-05-23` | Problem Solving with ASP | clasp |
| `Labs/2018-05-30` | Metric Temporal Logic | NuSMV |
## Projects
### Prisma (in `Projects/prisma`)
An optimizing compiler that translates a logic language with standard connectives and quantification over finite domains into conjunctive normal form and interfaces with a solver (SAT4J).
### Hakuna Matata (in `Projects/hakuna_matata`)
A logic-based agent for *Hunt the Wumpus*.