Package Details: adasat 25.0w-1

Git Clone URL: https://aur.archlinux.org/adasat.git (read-only, click to copy)
Package Base: adasat
Description: Implementation of a DPLL-based SAT solver in Ada.
Upstream URL: https://github.com/AdaCore/AdaSAT
Licenses: Apache
Submitter: charlie5
Maintainer: charlie5
Last Packager: charlie5
Votes: 1
Popularity: 0.37
First Submitted: 2023-06-09 07:45 (UTC)
Last Updated: 2024-05-31 06:15 (UTC)

Pinned Comments

charlie5 commented on 2023-07-09 16:30 (UTC)

This package is available in the Arch Ada Repository.

https://wiki.archlinux.org/title/Ada

Latest Comments

charlie5 commented on 2023-07-09 16:30 (UTC)

This package is available in the Arch Ada Repository.

https://wiki.archlinux.org/title/Ada