users provide basis about solvers since possible compared details sat4j targets black work application opensat researchers boxes into willing research without embed project technologies worrying library java their first also efficient