Thu, 03 Mar 2022 17:11:43 +0100 | wenzelm | clarified signature; | file | diff | annotate |
Mon, 08 Nov 2021 19:25:17 +0100 | wenzelm | repackage minisat-2.2.1 with cygwin1.dll: required to run the executable without existing Cygwin context (normally provided by bash_process); | file | diff | annotate |
Thu, 07 Oct 2021 13:55:24 +0200 | wenzelm | tuned message; | file | diff | annotate |
Thu, 07 Oct 2021 13:46:50 +0200 | wenzelm | proper build on macOS; | file | diff | annotate |
Thu, 07 Oct 2021 13:12:08 +0200 | wenzelm | build minisat, using recent fork from original sources; | file | diff | annotate |