dev-haskell/puresat
Pure Haskell SAT-solver
Screenshots
View
Download
BrowseChangeLog
commit f0dc5f47485b950b0c310bc025f2a5efc43b7ba3
Author: Xavier Dectot <xavier@wheredoibegin.fr>
Date: Tue Mar 11 16:53:10 2025 +0100
dev-haskell/puresat: new package, add 0.1
Signed-off-by: Xavier Dectot <xavier@wheredoibegin.fr>
Author: Xavier Dectot <xavier@wheredoibegin.fr>
Date: Tue Mar 11 16:53:10 2025 +0100
dev-haskell/puresat: new package, add 0.1
Signed-off-by: Xavier Dectot <xavier@wheredoibegin.fr>