Constraint Logic Programming over Integers
Prolog
213
34 commits
updated Feb 5, 2024
www.metalevel.at/prolog/clpz
100.0%