At a Glance
| Applications | Model Checker Theorem Prover |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
Description
System for Sequential Logic Synthesis and Formal Verification
| Applications | Model Checker Theorem Prover |
| Interfaces | CLI |
| Licenses | MIT |
| Maintenance | Actively Maintained |
System for Sequential Logic Synthesis and Formal Verification