The Finite Domain Constraint Solver of SWI-Prolog

   page       BibTeX_logo.png       attach   
cover of the publication
pub-cover.jpg