#!/bin/sh

java -jar /usr/share/sat4j/org.sat4j.core.jar $@

