100644 blob 6b35244b8df2bfe601fe79d29d083376ef5de725	Solver.java
100644 blob f9465d44e4ab377f7ad1acb02e188a8ce6909b23	SolverFactory.java
100644 blob b759143272eded7b0f11a22915dbb9b474950080	SolverPackage.java
040000 tree 7fc82d937152e4c7dc3e6f0773c76cff10f1a60d	impl
040000 tree 8e0174458c016d4c9f15448231995ba8b3221a20	provider
040000 tree aeaf683693f35251a14d90fd65e6a0a7471e4893	util