about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/msat
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2024-01-16msat: init at 0.9.1Vincent Laporte1-0/+13