swMATH ID: 1398
Software Authors: Schlenker, Hans; Ringwelski, Georg
Description: POOC – A platform for object-oriented constraint programming 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. Furthermore, we provide to the community the described system as real Java packages via Internet, that even includes a basic but powerful Constraint Solver
Homepage: http://rd.springer.com/chapter/10.1007/3-540-36607-5_12
Related Software: Java PathFinder; Rostra; JUnit; Korat; Bogor; JML; BLAST; veriSoft; Symstra; Zing
Cited in: 2 Publications

Cited in 0 Serials

Citations by Year