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) |