Information for RPM stp-devel-2.3.1-4.20181115git.d7d6530.fc30.riscv64.rpm
ID | 318936 | ||||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Name | stp-devel | ||||||||||||||||||||
Version | 2.3.1 | ||||||||||||||||||||
Release | 4.20181115git.d7d6530.fc30 | ||||||||||||||||||||
Epoch | |||||||||||||||||||||
Arch | riscv64 | ||||||||||||||||||||
Summary | Development files for STP constraint solver/decision procedure | ||||||||||||||||||||
Description | Development files for the STP (Simple Theorem Prover), a constraint solver (also referred to as a decision procedure or automated prover). Provides a static library. | ||||||||||||||||||||
Build Time | 2018-12-10 10:21:11 GMT | ||||||||||||||||||||
Size | 20.13 KB | ||||||||||||||||||||
51b2f7712748f35b1e96c6f4261b7384 | |||||||||||||||||||||
License | MIT | ||||||||||||||||||||
Buildroot | f30-build-41629-23397 | ||||||||||||||||||||
Provides |
|
||||||||||||||||||||
Obsoletes | No Obsoletes | ||||||||||||||||||||
Conflicts | No Conflicts | ||||||||||||||||||||
Requires |
|
||||||||||||||||||||
Recommends | No Recommends | ||||||||||||||||||||
Suggests | No Suggests | ||||||||||||||||||||
Supplements | No Supplements | ||||||||||||||||||||
Enhances | No Enhances | ||||||||||||||||||||
Files |
|
||||||||||||||||||||
Component of | No Buildroots |