100644 blob 433c76bbeaa5ecacdf7dc721747a020e906d7b1c	Solver.java
100644 blob f9465d44e4ab377f7ad1acb02e188a8ce6909b23	SolverFactory.java
100644 blob a72b29ed9357794be1ca741a8d6cae02cfbf9d66	SolverPackage.java
040000 tree 02afe1f6d7dd530664d80f5bba1162f15189b928	impl
040000 tree d0c35aec5d69e824bf387749f3d7c061b10b2134	provider
040000 tree aeaf683693f35251a14d90fd65e6a0a7471e4893	util