Bug 296552 - math/adasat: New Port, DPLL-based SAT solver in Ada
Summary: math/adasat: New Port, DPLL-based SAT solver in Ada
Status: New
Alias: None
Product: Ports & Packages
Classification: Unclassified
Component: Individual Port(s) (show other bugs)
Version: Latest
Hardware: Any Any
: --- Affects Only Me
Assignee: freebsd-ports-bugs (Nobody)
URL: https://github.com/AdaCore/adasat
Keywords:
Depends on:
Blocks:
 
Reported: 2026-07-06 11:45 UTC by Alastair Hogge
Modified: 2026-07-18 12:23 UTC (History)
1 user (show)

See Also:

Attachments
[PATCH] devel/adasat: New Port, DPLL-based SAT solver in Ada (7.01 KB, patch)
2026-07-06 11:50 UTC, Alastair Hogge 		no flags Details | Diff
[PATCH] devel/adasat: New Port, DPLL-based SAT solver in Ada (6.95 KB, patch)
2026-07-06 23:28 UTC, Alastair Hogge 		no flags Details | Diff
Show Obsolete (1) View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Alastair Hogge 2026-07-06 11:45:21 UTC 
AdaSAT is an implementation of Davis–Putnam–Logemann–Loveland (DPLL) based
propositional satisfiability problem (SAT) solver in Ada.

Supported features include:
* Conflict analysis and backjumping
* Two-watched literals scheme
* Built-in support for At-Most-One constraints
* Custom theories
Comment 1 Alastair Hogge 2026-07-06 11:50:32 UTC 
Created attachment 272538 [details]
[PATCH] devel/adasat: New Port, DPLL-based SAT solver in Ada
Comment 2 Benjamin Takacs 2026-07-06 14:35:31 UTC 
hm, why do you put that port in the lang category? and why do you not put it in the math category? I would use math as primary category and devel as secondary and not put it into lang.
Comment 3 Alastair Hogge 2026-07-06 20:20:14 UTC 
(In reply to Benjamin Takacs from comment #2)
Great idea. Will update.
Comment 4 Alastair Hogge 2026-07-06 23:28:47 UTC 
Created attachment 272555 [details]
[PATCH] devel/adasat: New Port, DPLL-based SAT solver in Ada

Move to math.

poudriere-testport math/adasat:
14_4-amd64-release: Pass
15_1-amd64-release: Pass
main-amd64-default: Pass