Search-engine friendly clone of the
ACL2 documentation
.
Top
Documentation
Books
Boolean-reasoning
Ipasir
Aignet
Base-api
Aignet-construction
Representation
Aignet-impl
Node
Network
Combinational-type
Typecode
Node->type
Code->ctype
Typecode-fix
Typecodep
*ctype-code-map*
Stypep
Aignet-copy-init
Aignet-simplify-marked-with-tracking
Aignet-cnf
Aignet-simplify-with-tracking
Aignet-complete-copy
Aignet-eval
Semantics
Aignet-transforms
Aignet-simplify-marked
Aignet-read-aiger
Aignet-write-aiger
Aignet-abc-interface
Utilities
Aig
Satlink
Truth
Ubdds
Bdd
Faig
Bed
4v
Projects
Debugging
Std
Proof-automation
Macro-libraries
ACL2
Interfacing-tools
Hardware-verification
Software-verification
Math
Testing-utilities
Typecode
*ctype-code-map*
Value:
((:input . 2) (:output . 3) (:gate . 1) (:const . 0))