|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
formal-verification
logic
constraint-solving
c++
algorithm
modeling
software-design
analysis
cryptography
automation
|
| Package |
Description |
Version |
|
alloy-analyzer
☆
formula
|
Open-source language and analyzer for software modeling |
6.2.0 |
|
cadical
☆
formula
|
Clean and efficient state-of-the-art SAT solver |
2.2.1 |
|
cryptominisat
☆
formula
|
Advanced SAT solver |
5.12.1 |
|
kissat
☆
formula
|
Bare metal SAT solver |
|
|
minisat
☆
formula
|
Minimalistic and high-performance SAT solver |
|