From 27da852e385e46570d45bc02f49ffa9a7c138afa Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 21 Sep 2017 02:02:31 +0200 Subject: [PATCH] Remove AIGER from install section --- docs/source/quickstart.rst | 8 -------- 1 file changed, 8 deletions(-) diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst index 19e8668..a2645a6 100644 --- a/docs/source/quickstart.rst +++ b/docs/source/quickstart.rst @@ -122,14 +122,6 @@ http://fmv.jku.at/boolector/ make sudo cp boolector/bin/boolector /usr/local/bin/boolector -Other packages -~~~~~~~~~~~~~~ - -Until I find the time to write install guides for the following packages, this -links must suffice: - - * AIGER: http://fmv.jku.at/aiger/ - First step: A simple BMC example -------------------------------- -- 2.30.2