The Fraunhofer FIRST Constraint Solver. Try e.g.
    java de.fhg.first.cs.MultiResource 1 100
    java de.fhg.first.cs.Resource
    java de.fhg.first.cs.Less 1000