about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/kissat
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-11-11treewide: fix redirected and broken URLsAnthony Roussel1-1/+1
2023-10-10kissat: 3.1.0 -> 3.1.1R. Ryantm1-2/+2
2023-09-05kissat: 3.0.0 -> 3.1.0R. Ryantm1-2/+2
2023-01-21treewide: switch to nativeCheckInputsGuillaume Girol1-1/+1
2022-09-02kissat: 2.0.1 -> 3.0.0kilianar1-4/+3
2021-10-04kissat: init at 2.0.1Narazaki, Shuji2-0/+67