Test ran at 2025-02-10 13:23:50.635057+00:00

SOLUTION:
adasat=25.0.0: Implementation of a DPLL-based SAT solver in Ada.
Origin: source archive AdaSAT-25.0.0.zip at https://github.com/adacore/AdaSAT/archive/v25.0.0/AdaSAT-25.0.0.zip with hash sha512:0618d8c668bdb483845c746250c52fa03fa429af48ae5441492e16821e44f22a6cc4fef576f49f6368d2878b6e499de7e060acd55e678581bd1b13ba00490258
Properties:
   Author: AdaCore
   Configuration: no modifiers
   Description: Implementation of a DPLL-based SAT solver in Ada.
   License: Apache-2.0 WITH LLVM-exception
   Long_Description: Main features:

 - [X] Conflict analysis and backjumping
 - [X] Two-watched literals scheme
 - [X] Built-in support for At-Most-One constraints
 - [X] Custom theories

   Maintainer: chouteau@adacore.com
   Maintainers_Logins: chouteau
   Maintainers_Logins: roldak
   Name: adasat
   Tag: sat
   Tag: solver
   Tag: theories
   Version: 25.0.0
   Website: https://github.com/AdaCore/adasat


LOG:
Spawning: alr -d -n get --build adasat=25.0.0
Note: Deploying adasat=25.0.0...
#=#=#                                                                          
##O#-#                                                                         
Note: Building adasat=25.0.0/adasat.gpr...
Setup
   [mkdir]        object directory for project AdaSAT
   [mkdir]        exec directory for project AdaSAT
   [mkdir]        library directory for project AdaSAT
Compile
   [Ada]          adasat-theory.ads
   [Ada]          adasat-builders.adb
   [Ada]          adasat-internals.ads
   [Ada]          adasat-formulas.adb
   [Ada]          adasat-vectors.adb
   [Ada]          adasat-dpll.adb
   [Ada]          adasat.adb
   [Ada]          adasat-decisions.adb
   [Ada]          adasat-helpers.adb
Build Libraries
   [gprlib]       adasat.lexch
   [archive]      libadasat.a
   [index]        libadasat.a

adasat=25.0.0 successfully retrieved and built.
There are no dependencies.
Found declared GPR file: adasat.gpr