Advertisement
Balsa Asynchronous Synthesis System
Balsa Asynchronous Synthesis System is a circuit synthesizer....
Balsa circuit synthesizer circuit synthesizer asynchronous system
Logic Reasoner
Logic Reasoner is a theorem prover for first-order logic with equality....
calculus theorem prover formula representation subsumption resolution theorem
Math::Logic
Math::Logic is a Perl module that provides pure 2, 3 or multi-value logic....
mathematical Perl module multi-value logic mathematical values multi-value
Partition Logic
Partition Logic is a standalone partitioning tool for PC-compatible computers....
Tool standalone partitioning standalone partitioning partitioning tool
Math::Logic::Predicate
Math::Logic::Predicate is a Perl module to manage and query a predicate assertion database....
query Perl module manage manage predicate assertion query predicate assertion
Free Logic Form
Free Logic Form is a system for generating logic forms of English sentences....
Fuzzy logic trees
Fuzzy logic trees are a machine learning method that applies the principles of fuzzy logic to standard logical decision trees....
Logic File System
The filesystem of discriminating hackers....
Signs
Signs is a tool for logic synthesis and gate level simulation....