net.cafebabe.sat
Interfaces
Constants