Skip to main content

Browse the archive

https://github.com/fslivovsky/qute
15 July 2022, 16:04:06 UTC
sort by:
Revision Author Date Message Commit Date
67c5e54 peitl 15 July 2022, 15:58:36 UTC AUTHORS and LICENSE 15 July 2022, 15:58:36 UTC
f13f416 peitl 12 July 2022, 11:40:07 UTC Support for out-of-order decisions, as per Beyersdorff, Böhm, and Peitl: Should decisions in QCDCL follow prefix order? SAT 2022. Also includes the following misc features: -t, --time-limit to impose a limiting on solving time (in seconds) --machine-readable for CSV-line output containing extra information bash completion in src/qute.bash (copy to where your bash completions reside in order to take effect) 12 July 2022, 11:40:07 UTC
51fcb44 Friedrich Slivovsky 15 July 2021, 08:42:16 UTC Merge pull request #6 from maximaximal/patch-1 Recommend using `git clone --recursive` in README 15 July 2021, 08:42:16 UTC
484b2e6 Max Heisinger 14 July 2021, 15:18:08 UTC Recommend using `git clone --recursive` in README Using git clone --recursive directly clones the whole repository including submodules, which makes using them a bit less error-prone (and less tedious to type ;) ). Small change, but I hope this is still helpful. 14 July 2021, 15:18:08 UTC
90d62b5 fs 21 April 2021, 09:37:35 UTC removed spurious include 21 April 2021, 09:37:35 UTC
1bba80d Friedrich Slivovsky 05 March 2021, 15:20:14 UTC fixed error with Clang 05 March 2021, 15:20:14 UTC
47dcfc6 fs 04 February 2021, 09:39:01 UTC using http URL for minisat submodule 04 February 2021, 09:39:01 UTC
e939b87 fs 01 September 2020, 14:29:22 UTC fixed VSIDS bug 01 September 2020, 14:29:22 UTC
441ff50 fs 10 August 2020, 08:53:12 UTC new release 10 August 2020, 08:53:12 UTC
back to top