gprolog
Native Prolog compiler with constraint solving over finite domains (FD)
homepage ↗ github: didoudiaz/gprolog
Available in
| Overlay | Newest | Ebuilds | Last activity | |
|---|---|---|---|---|
| gentoo gitweb ↗ | 1.5.0-r1 | 1 | 15 h | details › |
Versions & arches
Use flags of 1.5.0-r1
- debug Enable extra debug codepaths, like asserts and extra output. If you want to get meaningful backtraces see https://wiki.gentoo.org/wiki/Project:Quality_Assurance/Backtraces
- doc Add extra documentation (API, Javadoc, etc). It is recommended to enable per package instead of globally
- examples Install examples, usually source code