Search Criteria
Package Details: boolector-java 3.2.6-1
Package Actions
| Git Clone URL: | https://aur.archlinux.org/boolector-java.git (read-only, click to copy) |
|---|---|
| Package Base: | boolector-java |
| Description: | Java bindings for the Boolector SMT solver |
| Upstream URL: | http://boolector.github.io/ |
| Licenses: | MIT |
| Submitter: | abdullin.am |
| Maintainer: | abdullin.am |
| Last Packager: | abdullin.am |
| Votes: | 0 |
| Popularity: | 0.000000 |
| First Submitted: | 2020-01-10 13:13 (UTC) |
| Last Updated: | 2022-04-29 08:44 (UTC) |
Dependencies (4)
- boolectorAUR (boolector-gitAUR)
- gcc (gcc-gitAUR, gccrs-gitAUR, gcc-snapshotAUR) (make)
- git (git-gitAUR, git-glAUR) (make)
- make (make-gitAUR, make-staticAUR) (make)