Abstract
In this paper, we describe an implementation-independent object-oriented interface for commercial and academic Constraint Solvers. This serves as a basis for evaluating different Constraint Solvers and for developing solver-independent applications. We show, how applications can use the interface, which solvers are already integrated into the framework and how additional solvers can be added. Furtermore, we provide to the community the described system as real Java packages via Internet, that even includes a basic but powerful Constraint Solver.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
G. Booch, J. Rumbaugh, and I. Jacobson. Unified Modeling Language Semantics and Notation Guide 1.3. Rational Software Cooperation, San Jose, CA, 2001.
Cosytec. Chip 5, 2001. http://www.cosytec.com.
Daniel Diaz. GNU Prolog, 2001. http://gnu-prolog.inria.fr.
M. Dincbas, P. van Hentenryck, H. Simonis, A. Aggoun, T. Graf, and F. Berthier. The constraint logic programming language chip. In Proceedings of the International Conference on Fifth Generation Computer Systems (FGCS88), 1988.
Thom Frühwirth and Slim Abdenadher. Constraint-Programmierung. Springer, Berlin Heidelberg, 1997. In German.
Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns. Addison Wesley, Reading, MA, 1995.
Ian Gent and Toby Walsh. CSPLib, a problem library for constraints, http://www.csplib.org.
[8] P. Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, 1989.
J. Jaffar and J.L. Lassez. Constraint logic programming. In Proceedings of the 14th ACM Symposium on Principles of Programming Languages POPL-87, pages 111–119, 1987.
Swedish Institute of Computer Science. SICStus Prolog v3, 2001. http://www.sics.se/sicstus.html.
J.-C. Regin. A filtering algorithm for constraints of difference in CSPs. In Proc. 12th Conf. American Assoc. Artificial Intelligence, volume 1, pages 362–367. Amer. Assoc. Artificial Intelligence, 1994.
ILOG S.A. ILOG internet pages, 2001. http://www.ilog.fr.
Chritian Schulte. Programming Constraint Services. LNAI 2302. Springer, 2002. PhD thesis.
SUN Microsystems, http://java.sun.com/j2se/1.3/docs/guide/jni/. Java Native Interface (JNI).
M. Wallace, S. Novello, and J. Schimpf. ECLiPSe: A platform for Constraint Logic Programming. Technical report, IC-Parc, Imperial College, London, UK, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schlenker, H., Ringwelski, G. (2003). POOC — A Platform for Object-Oriented Constraint Programming. In: O’Sullivan, B. (eds) Recent Advances in Constraints. CologNet 2002. Lecture Notes in Computer Science, vol 2627. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36607-5_12
Download citation
DOI: https://doi.org/10.1007/3-540-36607-5_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00986-3
Online ISBN: 978-3-540-36607-2
eBook Packages: Springer Book Archive