LS
LSAT
The LSAT solver was classified second during the international SAT’03 competition (category : “hand-made”).
Archived software