Package: mingw-w64-ucrt-x86_64-adasat

Source Files

View Changes

View Issues

Report Issue

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:

25.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-25.0.0-2-any.pkg.tar.zst

SHA256:

9b7ee9a7331b4bdd6c0e4db974cd4bac18c561e7f60d52da4b9750e7d20b2250

Last Packager:

CI (msys2/msys2-autobuild/e8d10d7e/14667667738)

Build Date:

2025-04-25 17:39:16

Package Size:

0.30 MB

Installed Size:

1.31 MB

Source-Only Tarball:

https://mirror.msys2.org/mingw/sources/mingw-w64-adasat-25.0.0-2.src.tar.zst

Dependencies:

Optional Dependencies:

Build Dependencies:

mingw-w64-ucrt-x86_64-gprbuild

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