Home
Download
Browse GIT
Contrib
Packs
HOWTO
FAQ
Manual
Tags
Mailinglist
Support
Links
Contact
Development tools
PlDoc Documentation
Graphics
(Semantic) Web
Publications
Contributors
License
Wiki (edit)
login
A.7 library(clpfd): Constraint Logic Programming over Finite Domains
All
Application
Manual
Name
Summary
Help
Availability:
:- use_module(
library(clpfd)
).
all_different
(
+Vars
)
Vars
are pairwise distinct.
Tags are associated to your profile if you are logged in
login
to add a comment