POOC 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 Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year POOC – A platform for object-oriented constraint programming. Zbl 1023.68672Schlenker, Hans; Ringwelski, Georg 2003 all top 5 Cited by 6 Authors 1 Marinov, Darko 1 Notkin, David 1 Ringwelski, Georg 1 Schlenker, Hans 1 Schulte, Wolfram 1 Xie, Tao Cited in 0 Serials Cited in 1 Field 2 Computer science (68-XX) Citations by Year