gpuverify-smt
PPA description
SMT Solvers for GPUVerify
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:delcypher/gpuverify-smt to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:delcypher/gpuverify-smt sudo apt update
For questions and bugs with software in this PPA please contact delcypher.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details