BSD Portsmath/py-clingo 5.7.1_1 DragonFly
Grounder and solver for logic programs
- System
- DragonFly
- Repository
- DPorts
- Maintainer
- [email protected] (as in FreeBSD)
- License
- MIT
- Categories
- math, python
- Package size
- 1426.8 KiB, 5704.2 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/py-clingo | 5.7.1_1 |
| FreeBSD | math/py-clingo | 5.7.1_1 |
| HardenedBSD | math/py-clingo | 5.7.1_1 |
| GhostBSD | math/py-clingo | 5.7.1_1 |
Install
Binary package:
pkg install py311-clingoFrom DPorts:
cd /usr/dports/math/py-clingo && make install clean