https://github.com/sagnikc395/sato

A SAT Solver written in OCaml.
https://github.com/sagnikc395/sato

ocaml plt sat-solver

Last synced: 3 months ago
JSON representation

A SAT Solver written in OCaml.

• Host: GitHub
• URL: https://github.com/sagnikc395/sato
• Owner: sagnikc395
• Archived: true
• Created: 2024-08-11T17:53:54.000Z (5 months ago)
• Default Branch: main
• Last Pushed: 2024-08-11T18:06:22.000Z (5 months ago)
• Last Synced: 2024-09-25T23:08:36.998Z (4 months ago)
• Topics: ocaml, plt, sat-solver
• Language: OCaml
• Homepage:
• Size: 1.95 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project