Integrated Logic Systems
This are the implementations of Team White (Aneta Koleva, @uomoinverde, @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 |
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).
