aig

There are 1 repository under aig topic.

• ByronHsu / AAG-Visualizer

  🌆 🏙 🌃 Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph

  visualizerdsnpntufraigcircuitgraphvizjavascriptfrontend-webgraphcss-animationsvizjsdotaigaag
  Language:JavaScript 102
• nesis

  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.

  aigembeddingsenterprise-softwaregenai-chatbotgenai-usecaserag
  Language:Python 25

• tniessen / aiger-safety-properties

  AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers

  aigaigerdatasetexamplesmodel-checkingtestingbenchmarkformal-verificationverification
  12

• c-cube / ocaml-aig

  [toy] And-Inverter Graph in OCaml

  ocamlaiginverter-graphs
  Language:OCaml 3

• valandro / c-aig-reader

  And inverted Graph (AIG) reader for Circuit Aided Design classes at UFRGS/BR.

  aiggraph-algorithmsaig-reader
  Language:C++ 1

• FranciscoKnebel / comparadorAIG

  Implementação de dois comparadores de AAG para verificar equivalência lógica.

  satbddaigaagcad
  Language:C++

• Lipen / circuition

  💫 Library for managing Boolean circuits in Kotlin

  aigand-inverter-graphbenchblifcircuitkotlin
  Language:Kotlin