about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/monosat
AgeCommit message (Expand)AuthorFilesLines
2023-01-21treewide: switch to nativeCheckInputsGuillaume Girol1-1/+1
2022-12-17treewide: fix typosfigsoda1-1/+1
2022-07-15treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH'Artturin1-0/+3
2022-05-11python3Packages.monosat: disable failing testsP. R. d. O1-1/+8
2021-11-20treewide: refactor isi686 && isx86_64 -> isx86Ryan Burns1-1/+1
2021-11-14monosat, python3Packages.monosat: fix for non-x86Robert Scott1-1/+10
2021-01-16treewide: stdenv.lib -> libBen Siraphob1-2/+2
2021-01-01treewide: cmake buildInputs to nativeBuildInputs, minor cleanupsBen Siraphob1-1/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-2/+2
2020-03-03python3Packages.monosat: Fix hashAiken Cairncross1-1/+1
2020-03-03python3Packages.monosat: Fix Python 3.8 buildAiken Cairncross1-7/+17
2019-10-15monosat: 60528a3 -> 1.8.0Aiken Cairncross1-9/+10
2019-10-15monosat: Add self as maintainerAiken Cairncross1-1/+1
2019-10-08treewide: mark some broken packages as brokenLinus Heckemann1-1/+2
2019-08-28treewide: remove redundant recvolth1-1/+1
2018-07-08monosat: update build to use handy new environment variableDan Peebles1-2/+5
2018-07-08monosat: cbaf79cf -> 2deeadefDan Peebles1-11/+2
2018-07-08monosat: init at 1nx3wh34Dan Peebles1-0/+73
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-16 15:12:51 +0000