100644 blob 834b8a457ed24e1006d83a5591fac9ad818b1f7c	Solver.java
100644 blob f9465d44e4ab377f7ad1acb02e188a8ce6909b23	SolverFactory.java
100644 blob 82472a2289bf09f1a56c5e4a695dca79dd7655b5	SolverPackage.java
040000 tree 9aff316888cdbbee21e3519087db183837335b9b	impl
040000 tree e4e9ee05353e1095e06c7ef69ce33ea5ee6a2e28	provider
040000 tree 904463cf663c55eba7211cbc2b5dab38d8555d5a	util