p2.eclipse-plugin:org.sat4j.core-2.3.5.v201308161310.jar

MD5: caecb7e2e58513acae6321f980f0adcc
Introduced 5 yr 9 mo ago outside Jenkins

Usage

This file has been used in the following places:

overture-masterSuccess#29 Success#30 
overture-master/org.overturetool.ide.features:org.overture.ide.features.rcpSuccess#29 Success#30 
overture-master/org.overturetool.ide:org.overture.ide.productSuccess#29 Success#30