BSD Portswip/picosat 957 NetBSD
SAT solver with proof and core support
- System
- NetBSD
- Repository
- pkgsrc-wip
- Maintainer
- [email protected]
- License
- mit
- Categories
- wip, math
Description
PicoSAT is a SAT solver turned out to be faster on industrial instances than MiniSAT 2.0 and also can generate proofs and cores in memory.
In the other systems
| System | Port | Version |
|---|---|---|
| NetBSD | wip/picosat | 957 |
| FreeBSD | math/picosat | 965 |
| DragonFly | math/picosat | 965 |
| HardenedBSD | math/picosat | 965 |
| GhostBSD | math/picosat | 965 |
Install
From pkgsrc-wip (no binary package):
cd /usr/pkgsrc/wip/picosat && make install cleanDependencies
No port depends on this one.