POOC: a platform for object-oriented constraint programming

Authors:
Hans Schlenker;Georg Ringwelski
Affiliations:
Fraunhofer FIRST, Berlin, Germany;Fraunhofer FIRST, Berlin, Germany
Venue:
ERCIM'02/CologNet'02 Proceedings of the 2002 Joint ERCIM/CologNet international conference on Constraint solving and constraint logic programming
Year:
2002

Citing 3
Cited 5

Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Constraint satisfaction in logic programming

Constraint satisfaction in logic programming
A filtering algorithm for constraints of difference in CSPs

AAAI '94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 1)

Check 'n' crash: combining static checking and testing

Proceedings of the 27th international conference on Software engineering
DSD-Crasher: a hybrid analysis tool for bug finding

Proceedings of the 2006 international symposium on Software testing and analysis
DSD-Crasher: A hybrid analysis tool for bug finding

ACM Transactions on Software Engineering and Methodology (TOSEM)
CP-INSIDE: Embedding Constraint-Based Decision Engines in Business Applications

CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Symstra: a framework for generating object-oriented unit tests using symbolic execution

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems

Quantified Score

Hi-index	0.00

Visualization

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.