BSD Portsmath/kissat 4.0.2 DragonFly
Kissat SAT Solver
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- MIT
- Categories
- math
- Package size
- 312.6 KiB, 1986.6 KiB installed
Description
KISSAT is a "keep it simple and clean bare metal SAT solver" written in C. It is a port of CaDiCaL back to C with improved data structures, better scheduling of inprocessing and optimized algorithms and implementation. Coincidentally 'kissat' also means 'cats' in Finnish.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/kissat | 4.0.2 |
| FreeBSD | math/kissat | 4.0.4 |
| HardenedBSD | math/kissat | 4.0.4 |
| GhostBSD | math/kissat | 4.0.4 |
Install
Binary package:
pkg install kissatFrom DPorts:
cd /usr/dports/math/kissat && make install cleanDependencies
No port depends on this one.