Did you know ... | Search Documentation: |
![]() | Pack reif_utils -- README.md |
This module collects a variety of utility predicates intended for use with Ulrich Neumerkel's
reif.pl
library. Please see the paper by Neumerkel and Kral
for background. It is intended for use with SWI Prolog; please see LICENSE for terms of use.
The implementations provided here fall into the following groups:
clpfd
library
for SWI Prolog)