The clp(FD,S) system
Home Page:http://pauillac.inria.fr/~georget/clp_fds.html
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
The clp(FD,S) system developed during my PhD at INRIA-Rocquencourt.
http://pauillac.inria.fr/~georget/clp_fds.html
License:Other