lfsc

LFSC is an SMT proof checker.

SRPMS

lfsc-0.20180322-1.fc29.src.rpm

SPECS

For the purpose of submitting this package to Fedora, here is the RPM spec file.

Back to the RPMS


Last modified: Sat Jul 7 17:21:59 MDT 2018 by Jerry James