Test ran at 2025-06-23 13:07:03.793381+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: Alire has selected automatically this toolchain: gprbuild=22.0.1 gnat_native=14.2.1 You can select a different toolchain at any time with `alr toolchain --select` Download will start now: Note: Deploying gprbuild=22.0.1... #=#=# 0.1% ################# 24.9% ######################################## 56.5% ################################################################# 90.8% ######################################################################## 100.0% Note: gprbuild=22.0.1 installed successfully. Note: Deploying gnat_native=14.2.1... #=#=# 0.0% ## 2.9% #### 6.9% ####### 10.6% ########## 14.0% ############ 17.6% ############### 21.4% ################## 25.4% ##################### 29.3% ######################## 33.8% ########################### 38.1% ############################# 41.0% ############################### 43.4% ################################# 46.4% ################################## 47.6% ################################### 49.5% ################################### 49.9% ###################################### 53.7% ######################################## 55.7% ########################################## 58.6% ############################################ 61.7% ############################################# 63.7% ############################################## 64.5% ################################################ 67.5% ################################################### 71.7% ###################################################### 75.9% ######################################################## 79.1% ########################################################### 82.9% ############################################################ 84.4% ############################################################## 86.9% ################################################################ 89.4% ################################################################## 92.0% ################################################################### 93.7% ##################################################################### 96.6% ######################################################################## 100.0% Note: gnat_native=14.2.1 installed successfully. 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.adb [Ada] adasat-formulas.adb [Ada] adasat-vectors.adb [Ada] adasat-decisions.adb [Ada] adasat-builders.adb [Ada] adasat-dpll.adb [Ada] adasat-internals.ads [Ada] adasat-helpers.adb [Ada] adasat-theory.ads 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