100644 blob 4ceb98811c6228d57fadb0a6ccbfbba9829bc1c3	.classpath
100644 blob 95783bb5cbd3da1f3cb05c2da65947598eb17a29	.project
040000 tree 44c565c31d46b72b2c1a5c86bb916445f4e296eb	.settings
040000 tree e4c512ec86e42e87db3a0bf2d7b4555a5bc6ea40	META-INF
100644 blob e9863e281eaccc5123e82ed75713bab3e8b87bbe	build.properties
040000 tree f4434d03e72462497b519337d742c9806627b729	caixa.650
040000 tree 536923f4e640049d4db85428654be583825cf91a	sat4j
040000 tree 93ec94f81a397f94a5dd8064d2f0a52807b5afc5	scripts
040000 tree acf3430ba3d4affbfa782b292aaf428f89452d85	src-tools
040000 tree ccea5c6c20238df282d246b619cb306b5ad3ba9a	src
040000 tree 17e9913d70dfb8cff837ebc880b46bbf2ffdf632	testData
040000 tree c6a64c5d000e7be6603b030e04a1599296becf89	tests