Skip to content

changed sat4J version back to 2.3.5 because with version 2.3.6 there … #157

changed sat4J version back to 2.3.5 because with version 2.3.6 there …

changed sat4J version back to 2.3.5 because with version 2.3.6 there … #157