Changeset View
Changeset View
Standalone View
Standalone View
package.yml
- This file was added.
| name : z3 | |||||
| version : 4.8.9 | |||||
| release : 1 | |||||
| source : | |||||
| - https://github.com/Z3Prover/z3/archive/z3-4.8.9.tar.gz : c9fd04b9b33be74fffaac3ec2bc2c320d1a4cc32e395203c55126b12a14ff3f4 | |||||
| license : MIT | |||||
| component : programming.library | |||||
| summary : The Z3 Theorem Prover | |||||
| description: | | |||||
| Z3 is a theorem prover from Microsoft Research. | |||||
| setup : | | |||||
| %cmake_ninja | |||||
| build : | | |||||
| %ninja_build | |||||
| install : | | |||||
| %ninja_install | |||||
Copyright © 2015-2021 Solus Project. The Solus logo is Copyright © 2016-2021 Solus Project. All Rights Reserved.