GitHub topics: aig
marcelwa/aigverse
A Python library for working with logic networks, synthesis, and optimization.
Language: Python - Size: 732 KB - Last synced at: 2 days ago - Pushed at: 2 days ago - Stars: 18 - Forks: 2
Lipen/circuition
💫 Library for managing Boolean circuits in Kotlin
Language: Kotlin - Size: 160 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 0 - Forks: 0
ByronHsu/AAG-Visualizer
🌆 🏙 🌃 Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph
Language: JavaScript - Size: 7.56 MB - Last synced at: 4 days ago - Pushed at: over 7 years ago - Stars: 103 - Forks: 7
tniessen/aiger-safety-properties
AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers
Size: 2.39 MB - Last synced at: 2 months ago - Pushed at: over 1 year ago - Stars: 14 - Forks: 7
ametnes/nesis
Your AI Powered Enterprise Knowledge Partner. Discover knowledge from your private documents in your enterprise. Designed to be used at scale from ingesting large amounts of documents formats such as pdfs, docx, xlsx, png, jpgs, tiff, mp3, mp4, jpeg. Integrates with s3, Windows Shares, Google Drive and more.
Language: Python - Size: 36.6 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 22 - Forks: 15
c-cube/ocaml-aig
[toy] And-Inverter Graph in OCaml
Language: OCaml - Size: 137 KB - Last synced at: 12 days ago - Pushed at: almost 10 years ago - Stars: 3 - Forks: 0
valandro/c-aig-reader
And inverted Graph (AIG) reader for Circuit Aided Design classes at UFRGS/BR.
Language: C++ - Size: 99.6 KB - Last synced at: about 2 months ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0
FranciscoKnebel/comparadorAIG
Implementação de dois comparadores de AAG para verificar equivalência lógica.
Language: C++ - Size: 2.73 MB - Last synced at: 14 days ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 1
