dev-haskell/puresat
Pure Haskell SAT-solver
ChangeLog
commit f1cccf6904d8816db3b3ae9fb33bf6591944ee98
Author: hololeap <hololeap@protonmail.com>
Date: Sun Jan 11 20:29:11 2026 -0700
*/*: Update copyright
Signed-off-by: hololeap <hololeap@protonmail.com>
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: hololeap <hololeap@protonmail.com>
Date: Sun Jan 11 20:29:11 2026 -0700
*/*: Update copyright
Signed-off-by: hololeap <hololeap@protonmail.com>
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>


View
Download
Browse