BSD Portsmath/clingo 5.7.1 DragonFly
Grounder and solver for logic programs
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- MIT
- Categories
- math
- Package size
- 1308.9 KiB, 5650.7 KiB installed
Description
Answer Set Programming (ASP) offers a simple and powerful modeling language to solve combinatorial problems. With these tools users can concentrate on an actual problem, rather than a smart way of implementing it.
In the other systems
| System | Port | Version |
|---|---|---|
| DragonFly | math/clingo | 5.7.1 |
| FreeBSD | math/clingo | 5.8.0 |
| HardenedBSD | math/clingo | 5.8.0 |
| GhostBSD | math/clingo | 5.8.0 |
Install
Binary package:
pkg install clingoFrom DPorts:
cd /usr/dports/math/clingo && make install clean