Skip to content

Latest commit

 

History

History
54 lines (36 loc) · 1.39 KB

README.md

File metadata and controls

54 lines (36 loc) · 1.39 KB
Raw

Decision procedures and SAT/SMT solvers

This repository contains solutions to various NAIL094 homework assignments.

Please, do not copy

Programming assignments - Build your own SAT solver, and related tasks

Root: CPP

  1. Tseitin Encoding and DIMACS Format: formula2cnf
  2. DPLL Algorithm: bin/main -a
  3. Watched Literals: bin/main -w
  4. CDCL: bin/main

Old (Haskell)

Root: Haskell

Remarkable for its brevity, not so much for its speed

  1. Tseitin Encoding and DIMACS Format: cabal run formula2cnf
  2. DPLL Algorithm: cabal run dpll

Programming assignments - Using a SAT solver

Root: sat-use

Theoretical assignments

Root: lecture-hw