Diffusion Isabelle 2d089ff0e03b

provide minisat-2.2.1 on all currently supported platforms, notably as external…
2d089ff0e03b
Actions

Tags

None

Subscribers

None

Description

provide minisat-2.2.1 on all currently supported platforms, notably as external solver for Nitpick;

Details

Provenance

Authored on

Parents

rISABELLEef07e6d672cb: tuned message;

Branches

Unknown

Tags

Unknown

Event Timeline

makarius committed rISABELLE2d089ff0e03b: provide minisat-2.2.1 on all currently supported platforms, notably as external….Oct 7 2021, 2:02 PM

makarius mentioned this in Blog Post: Nitpick with external/portable MiniSat.Oct 8 2021, 11:25 AM

makarius mentioned this in T24: Missing minisat.dll for nitpick/kodkod on Windows (and Apple Silicon).Oct 19 2021, 10:06 PM

Changes (2)

Path

Size

Admin/

components/

components.sha1

rISABELLE2d089ff0e03b

Admin/components/components.sha1

Loading...

Admin/components/main

Loading...