Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
bin		bin
lib		lib
sample_cnf		sample_cnf
test		test
.DS_Store		.DS_Store
.directory		.directory
.gitignore		.gitignore
README.md		README.md
TP.opam		TP.opam
dune-project		dune-project
dune_cheat_cheat.txt		dune_cheat_cheat.txt
graphic.py		graphic.py

Repository files navigation

TP Union Find:

Basic SAT Solver school assignement.

Build:

Prerequisites:

Ocaml installation
Dune

Simply run:

dune build

Run

Run tests

dune test

About

SAT solver school asigement

Report repository

Releases

No releases published

Packages

No packages published

Languages