adasat 26.0.0 (#1719)

2025-12-18 14:19:33 +01:00
parent 73780a273b
commit 1ed6bd8b6d
1 changed files with 24 additions and 0 deletions
@@ -0,0 +1,24 @@
+name = "adasat"
+description = "Implementation of a DPLL-based SAT solver in Ada."
+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
+"""
+version = "26.0.0"
+website = "https://github.com/AdaCore/adasat"
+authors = ["AdaCore"]
+licenses = "Apache-2.0 WITH LLVM-exception"
+maintainers = ["chouteau@adacore.com", "sagaert@adacore.com"]
+maintainers-logins = ["chouteau", "roldak", "AldanTanneo"]
+tags = ["sat", "solver", "theories"]
+
+[configuration]
+disabled = true
+
+[origin]
+url="https://github.com/AdaCore/AdaSAT/archive/refs/tags/v26.0.0.zip"
+hashes=['sha512:37336738b543040461e72c50a8e1341787766beba22c91e08c86f2bb24275ccac79f4e777e9cf23622c3e1d3bf0248bb34f10b9570f4307d1697f489781fd4b9']