Search Criteria
Package Details: stp-java 2.3.3-2
Package Actions
| Git Clone URL: | https://aur.archlinux.org/stp-java.git (read-only, click to copy) |
|---|---|
| Package Base: | stp-java |
| Description: | Java bindings for the STP SMT solver |
| Upstream URL: | http://stp.github.io/ |
| Licenses: | Apache 2.0 |
| Submitter: | abdullin.am |
| Maintainer: | abdullin.am |
| Last Packager: | abdullin.am |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2020-08-07 13:14 (UTC) |
| Last Updated: | 2020-08-07 15:37 (UTC) |