sbclPackages.cl-sat_dot_minisat_dot_test

Name

cl-sat.minisat.test

Version

20241012-git

Maintainers

• Michael Raskin
• Kasper Gałkowski
• Hraban Luyat
• Luke Gorrie
• Daniel Nagy

Defined

Source