Package net.cafebabe.sat

Interface Summary
Constants A simple interface to expose constants.