Grounder and solver for logic programs
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.
$
pkg install py311-clingoOrigin
math/py-clingo
Size
5.47MiB
License
MIT
Maintainer
yuri@FreeBSD.org
Dependencies
2 packages
Required by
1 packages