Base Package:
mingw-w64-adasat

Description:
Implementation of a DPLL-based SAT solver in Ada (mingw-w64)
Group(s):
-
Repo:
ucrt64
Homepage:
https://github.com/AdaCore/AdaSAT
License(s):
Apache-2.0 WITH LLVM-exception
Version:
24.0.0-2
External:
Anitya
adasat
AUR
25.0w
Repology
adasat

Installation:
pacman -S mingw-w64-ucrt-x86_64-adasat
File:
https://mirror.msys2.org/mingw/ucrt64/mingw-w64-ucrt-x86_64-adasat-24.0.0-2-any.pkg.tar.zst
SHA256:
62e5f0c8cb8309fea4d4df5a0f949581a56cab1a5c3db44dfef06f29706b9973
Last Packager:
CI (msys2/msys2-autobuild/9c7e8d31/9016917514)
Build Date:
2024-05-09 13:09:56
Package Size:
0.29 MB
Installed Size:
1.28 MB
Source-Only Tarball:
https://mirror.msys2.org/mingw/sources/mingw-w64-adasat-24.0.0-2.src.tar.zst

Dependencies:
Optional Dependencies:
-
Build Dependencies:
Check Dependencies:
-
Provides:
-
Conflicts:
-
Replaces:
-

Provided By:
-
Required By:

Files:
/ucrt64/bin/libadasat.dll
/ucrt64/include/adasat.relocatable/adasat-builders.adb
/ucrt64/include/adasat.relocatable/adasat-builders.ads
/ucrt64/include/adasat.relocatable/adasat-decisions.adb
/ucrt64/include/adasat.relocatable/adasat-decisions.ads
/ucrt64/include/adasat.relocatable/adasat-dpll.adb
/ucrt64/include/adasat.relocatable/adasat-dpll.ads
/ucrt64/include/adasat.relocatable/adasat-formulas.adb
/ucrt64/include/adasat.relocatable/adasat-formulas.ads
/ucrt64/include/adasat.relocatable/adasat-helpers.adb
/ucrt64/include/adasat.relocatable/adasat-helpers.ads
/ucrt64/include/adasat.relocatable/adasat-internals.ads
/ucrt64/include/adasat.relocatable/adasat-theory.ads
/ucrt64/include/adasat.relocatable/adasat-vectors.adb
/ucrt64/include/adasat.relocatable/adasat-vectors.ads
/ucrt64/include/adasat.relocatable/adasat.adb
/ucrt64/include/adasat.relocatable/adasat.ads
/ucrt64/include/adasat.static-pic/adasat-builders.adb
/ucrt64/include/adasat.static-pic/adasat-builders.ads
/ucrt64/include/adasat.static-pic/adasat-decisions.adb
/ucrt64/include/adasat.static-pic/adasat-decisions.ads
/ucrt64/include/adasat.static-pic/adasat-dpll.adb
/ucrt64/include/adasat.static-pic/adasat-dpll.ads
/ucrt64/include/adasat.static-pic/adasat-formulas.adb
/ucrt64/include/adasat.static-pic/adasat-formulas.ads
/ucrt64/include/adasat.static-pic/adasat-helpers.adb
/ucrt64/include/adasat.static-pic/adasat-helpers.ads
/ucrt64/include/adasat.static-pic/adasat-internals.ads
/ucrt64/include/adasat.static-pic/adasat-theory.ads
/ucrt64/include/adasat.static-pic/adasat-vectors.adb
/ucrt64/include/adasat.static-pic/adasat-vectors.ads
/ucrt64/include/adasat.static-pic/adasat.adb
/ucrt64/include/adasat.static-pic/adasat.ads
/ucrt64/include/adasat.static/adasat-builders.adb
/ucrt64/include/adasat.static/adasat-builders.ads
/ucrt64/include/adasat.static/adasat-decisions.adb
/ucrt64/include/adasat.static/adasat-decisions.ads
/ucrt64/include/adasat.static/adasat-dpll.adb
/ucrt64/include/adasat.static/adasat-dpll.ads
/ucrt64/include/adasat.static/adasat-formulas.adb
/ucrt64/include/adasat.static/adasat-formulas.ads
/ucrt64/include/adasat.static/adasat-helpers.adb
/ucrt64/include/adasat.static/adasat-helpers.ads
/ucrt64/include/adasat.static/adasat-internals.ads
/ucrt64/include/adasat.static/adasat-theory.ads
/ucrt64/include/adasat.static/adasat-vectors.adb
/ucrt64/include/adasat.static/adasat-vectors.ads
/ucrt64/include/adasat.static/adasat.adb
/ucrt64/include/adasat.static/adasat.ads
/ucrt64/lib/adasat.relocatable/adasat-builders.ali
/ucrt64/lib/adasat.relocatable/adasat-decisions.ali
/ucrt64/lib/adasat.relocatable/adasat-dpll.ali
/ucrt64/lib/adasat.relocatable/adasat-formulas.ali
/ucrt64/lib/adasat.relocatable/adasat-helpers.ali
/ucrt64/lib/adasat.relocatable/adasat-internals.ali
/ucrt64/lib/adasat.relocatable/adasat-theory.ali
/ucrt64/lib/adasat.relocatable/adasat-vectors.ali
/ucrt64/lib/adasat.relocatable/adasat.ali
/ucrt64/lib/adasat.relocatable/libadasat.dll
/ucrt64/lib/adasat.static-pic/adasat-builders.ali
/ucrt64/lib/adasat.static-pic/adasat-decisions.ali
/ucrt64/lib/adasat.static-pic/adasat-dpll.ali
/ucrt64/lib/adasat.static-pic/adasat-formulas.ali
/ucrt64/lib/adasat.static-pic/adasat-helpers.ali
/ucrt64/lib/adasat.static-pic/adasat-internals.ali
/ucrt64/lib/adasat.static-pic/adasat-theory.ali
/ucrt64/lib/adasat.static-pic/adasat-vectors.ali
/ucrt64/lib/adasat.static-pic/adasat.ali
/ucrt64/lib/adasat.static-pic/libadasat.a
/ucrt64/lib/adasat.static/adasat-builders.ali
/ucrt64/lib/adasat.static/adasat-decisions.ali
/ucrt64/lib/adasat.static/adasat-dpll.ali
/ucrt64/lib/adasat.static/adasat-formulas.ali
/ucrt64/lib/adasat.static/adasat-helpers.ali
/ucrt64/lib/adasat.static/adasat-internals.ali
/ucrt64/lib/adasat.static/adasat-theory.ali
/ucrt64/lib/adasat.static/adasat-vectors.ali
/ucrt64/lib/adasat.static/adasat.ali
/ucrt64/lib/adasat.static/libadasat.a
/ucrt64/share/gpr/adasat.gpr
/ucrt64/share/gpr/manifests/adasat
/ucrt64/share/licenses/adasat/LICENSE
Last Update: 2024-07-25 13:40:10 [Request update]