Assertion: alloy | /r/MadeOf | available
Facets:
Source sentences:
text: It is made available as a runnable jar file with both a cross-platform SAT solver (Sat4j and more efficient native SAT solvers (minisat, lingeling/plingeling, glucose).