satchmo (hackage): SAT encoder
Keywords: gpl|library|logic