OCaml SAT

Encodes SAT in OCaml GADT types. See the blog post for an explanation!

Usage

1. Install Python dependencies with pip install -r requirements.txt
2. Install OCaml by following the official installation guide
3. Run the Python script to generate OCaml code: python3 main.py > example.ml
4. Compile the generated OCaml code: ocamlc example.ml