A Constraint-Based Mathematical Modeling Library in Prolog with Answer Constraint Semantics.

Franois Fages

Browse the full FLOPS paper archive.