Convex Hull Analyser for constraint logic programs
1. Upload Program

Program Example: Query:
Answer-predicates Builtin-predicates
Options:
Narrowing iterations:
Widening operator:
Widen up-to:
Widen At:
Delayed widening:
Widening w. tokens:
Detect wideningpoints:
Verbose level:
Debugging only - supply wps:
List Term
Help:

Convex Hull Analyser for logic programs - Information: John P. Gallagher & Kim S. Henriksen
Implementation based on the following programming tools: Ciao Prolog - Parma Polyhedra Library
Related Publications.