- Name: lfsc
- Version: 0.20120321
- Release: 4.fc18
- Epoch:
- Group: Unspecified
- License: BSD
- Url: http://clc.cs.uiowa.edu/lfsc/
- Summary: SMT proof checker
- Architecture: i686
- Size: 328979
- Distribution: Fedora Project
- Vendor: Fedora Project
- Packager: Fedora Project
Description:
This package contains an SMT proof checker.
- OptFlags: -O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector --param=ssp-buffer-size=4 -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tables
- Cookie:
- Buildhost: buildvm-16.phx2.fedoraproject.org
Sources packages:
Other version of this rpm:
