https://github.com/c-cube/ocaml-aig

[toy] And-Inverter Graph in OCaml
https://github.com/c-cube/ocaml-aig

aig inverter-graphs ocaml

Last synced: about 2 months ago
JSON representation

[toy] And-Inverter Graph in OCaml

• Host: GitHub
• URL: https://github.com/c-cube/ocaml-aig
• Owner: c-cube
• License: bsd-2-clause
• Created: 2015-06-03T21:33:25.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-06-04T14:07:36.000Z (over 9 years ago)
• Last Synced: 2024-10-13T01:46:09.960Z (3 months ago)
• Topics: aig, inverter-graphs, ocaml
• Language: OCaml
• Homepage:
• Size: 137 KB
• Stars: 3
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# AIG

And-Inverter Graphs (see http://en.wikipedia.org/wiki/And-inverter_graph

and http://fmv.jku.at/aiger/) in pure OCaml. Design inspired from

the [mlbdd library](https://github.com/arlencox/mlbdd/).

## License

BSD license (very permissive)