Lucccyo/SATOC
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity
Naive sat solver in OCaml.
2 commits 1 branch 0 tags 27 KiB
  • OCaml 100%
Find a file
Exact
Lucccyo 7278a59cd9 add code
2025-06-17 14:02:07 +02:00
main.ml add code 2025-06-17 14:02:07 +02:00
README.md Initial commit 2025-06-16 15:08:31 +02:00

README.md

SATOC

Naive sat solver in OCaml.