Test ran at 2024-03-23 01:10:38.806484+00:00

SOLUTION:
adasat=24.0.0: Implementation of a DPLL-based SAT solver in Ada.
Origin: source archive adasat-24.0.0.zip at https://github.com/adacore/adasat/archive/v24.0.0/adasat-24.0.0.zip with hash sha512:46db8c9a613e49551a7cb35593320b5a4eb11309c0d0b112f6ef391ac5ccb1c8b234906535f4010d2b3a563740a031b0ec5da6c2318758439bb43798ecaf83fd
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: 24.0.0
   Website: https://github.com/AdaCore/adasat


LOG:
Spawning: alr -d -n get --build adasat=24.0.0
Note: Deploying adasat=24.0.0...
#=#=#                                                                          
##O#-#                                                                         
Note: Building adasat=24.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-formulas.adb
   [Ada]          adasat-internals.ads
   [Ada]          adasat.adb
   [Ada]          adasat-dpll.adb
   [Ada]          adasat-vectors.adb
   [Ada]          adasat-theory.ads
   [Ada]          adasat-helpers.adb
   [Ada]          adasat-builders.adb
   [Ada]          adasat-decisions.adb
Build Libraries
   [gprlib]       adasat.lexch
   [archive]      libadasat.a
   [index]        libadasat.a

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