clpfd
clpfd copied to clipboard
Constraint Logic Programming over Finite Domains
Results
1
clpfd issues
Sort by
recently updated
recently updated
newest added
``` ?- use_module(library(clpfd)). true. ?- 4 #= 2*Y. ERROR: Syntax error: Operator expected ERROR: 4 ERROR: ** here ** ERROR: #= 2*Y . ?- ``` SWI-Prolog (threaded, 64 bits, version...