net.cafebabe.sat
Interfaces 
Constants