GitHub / jamestiotio / DigiAlpha
Optimized 32-Bit Full Adder, CEC-SAT Verifier & 2-SAT Solver
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jamestiotio%2FDigiAlpha
PURL: pkg:github/jamestiotio/DigiAlpha
Stars: 1
Forks: 0
Open issues: 0
License: mit
Language: C++
Size: 6.96 MB
Dependencies parsed at: Pending
Created at: almost 5 years ago
Updated at: over 3 years ago
Pushed at: over 1 year ago
Last synced at: over 1 year ago
Topics: adder, adders, algorithm, algorithms, algorithms-and-data-structures, cec-verifier, dpll, full-adder, hardware-designs, implication-graph, kosaraju-algorithm, sat-solver, satisfiability, satisfiability-problem, satisfiability-solver, tarjan-algorithm
Funding Links https://github.com/sponsors/jamestiotio