equal
deleted
inserted
replaced
9 |
9 |
10 https://github.com/nunchaku-inria |
10 https://github.com/nunchaku-inria |
11 |
11 |
12 The "$NUNCHAKU_HOME" environment variable must be set to the absolute path to |
12 The "$NUNCHAKU_HOME" environment variable must be set to the absolute path to |
13 the directory containing the "nunchaku" executable. The Isabelle components |
13 the directory containing the "nunchaku" executable. The Isabelle components |
14 for CVC4, Kodkodi, and SMBC are necessary to use these backend solvers. |
14 for cvc5, Kodkodi, and SMBC are necessary to use these backend solvers. |
15 *) |
15 *) |
16 |
16 |
17 theory Nunchaku |
17 theory Nunchaku |
18 imports Nitpick |
18 imports Nitpick |
19 keywords |
19 keywords |