nixpkgs / eprover - Automated theorem prover for full first-order logic with equality

Homepage - http://www.eprover.org/

License - GPL-2.0

Maintainers - Michael Raskin - Gabriel Ebner

Outputs

out (expand/collapse)

• /bin/checkproof
• /bin/e_axfilter
• /bin/e_deduction_server
• /bin/e_ltb_runner
• /bin/e_stratpar
• /bin/eground
• /bin/ekb_create
• /bin/ekb_delete
• /bin/ekb_ginsert
• /bin/ekb_insert
• /bin/epclextract
• /bin/eprover
• /bin/picosat
• /share/man/checkproof.1.gz
• /share/man/e_axfilter.1.gz
• /share/man/e_deduction_server.1.gz
• /share/man/e_ltb_runner.1.gz
• /share/man/e_stratpar.1.gz
• /share/man/eground.1.gz
• /share/man/ekb_create.1.gz
• /share/man/ekb_delete.1.gz
• /share/man/ekb_ginsert.1.gz
• /share/man/ekb_insert.1.gz
• /share/man/epclextract.1.gz
• /share/man/eprover.1.gz

Releases

2.6 (expand/collapse)

From commit 02c142a2 to 00460bd6

2.5 (expand/collapse)

From commit 074ef76e to 074ef76e

2.6 (expand/collapse)

From commit 04855119 to 07557e3b

2.5 (expand/collapse)

From commit 065a8102 to 065a8102

2.6 (expand/collapse)

From commit 0319f3a9 to 04de1306

2.5 (expand/collapse)

From commit 02b42cf7 to 02b42cf7

2.6 (expand/collapse)

From commit 07500621 to 0432fe10

2.5 (expand/collapse)

From commit 015fa4e5 to 015fa4e5

2.6 (expand/collapse)

From commit 05b9351c to 05046c2c

2.5 (expand/collapse)

From commit 06749ba3 to 00f70edc

2.4 (expand/collapse)

From commit 05fe6112 to 05fe6112

2.5 (expand/collapse)

From commit 066544a7 to 0096eb92

2.4 (expand/collapse)

From commit 05a16be9 to 05a16be9

2.5 (expand/collapse)

From commit 00eedc07 to 0456d939

2.4 (expand/collapse)

From commit 01ce2551 to 01ce2551

2.5 (expand/collapse)

From commit 035b0995 to 002077c0

2.4 (expand/collapse)

From commit 0218f30a to 0143a1fa

2.2 (expand/collapse)

From commit 0767de3d to 0767de3d

2.4 (expand/collapse)

From commit 0634484a to 00610756

2.3 (expand/collapse)

From commit 036cef94 to 010d2f4a

2.4 (expand/collapse)

From commit 02f869ff to 016111e8

2.3 (expand/collapse)

From commit 04f3bc51 to 04f3bc51

2.4 (expand/collapse)

From commit 0646b9f7 to 069364f3

2.3 (expand/collapse)

From commit 069e9fd4 to 069e9fd4

2.4 (expand/collapse)

From commit 053168d4 to 03941c1e

2.3 (expand/collapse)

From commit 04cb05d2 to 04cb05d2

2.4 (expand/collapse)

From commit 03e78496 to 03e6ca15

2.3 (expand/collapse)

From commit 06c5e811 to 06c5e811

2.4 (expand/collapse)

From commit 062a4d40 to 07b40774

2.3 (expand/collapse)

From commit 03f38c32 to 03f38c32

2.4 (expand/collapse)

From commit 049c47c6 to 0050f130

2.3 (expand/collapse)

From commit 0724efc3 to 0534e9c4

2.4 (expand/collapse)

From commit 07160184 to 07160184

2.3 (expand/collapse)

From commit 02c3bcee to 02c3bcee

2.4 (expand/collapse)

From commit 04742d00 to 035dcb39

2.3 (expand/collapse)

From commit 00263c93 to 0790fbca

2.2 (expand/collapse)

From commit 00a52224 to 00a52224

2.3 (expand/collapse)

From commit 04cc8385 to 02ea1812

2.2 (expand/collapse)

From commit 0045164b to 0045164b

2.3 (expand/collapse)

From commit 03edc1e5 to 06fad89b

2.2 (expand/collapse)

From commit 0231273a to 0231273a

2.3 (expand/collapse)

From commit 06026f28 to 037c1565

2.2 (expand/collapse)

From commit 0778b2c9 to 0778b2c9

2.3 (expand/collapse)

From commit 06041661 to 07458c2f

2.2 (expand/collapse)

From commit 032d610a to 013ddbeb

2.1 (expand/collapse)

From commit 04fe84d2 to 0217c298

2.2 (expand/collapse)

From commit 02bf0e58 to 02bf0e58

2.1 (expand/collapse)

From commit 02fdfdda to 06f36767

2.2 (expand/collapse)

From commit 02693e32 to 0270dda6

2.1 (expand/collapse)

From commit 058e787b to 00370bc7

2.2 (expand/collapse)

From commit 0045ea5b to 0045ea5b

2.1 (expand/collapse)

From commit 07be6313 to 07748ae5

2.2 (expand/collapse)

From commit 068374c0 to 068374c0

2.1 (expand/collapse)

From commit 04c4ea1e to 0266996a

2.2 (expand/collapse)

From commit 072b2b86 to 02b2f62d

2.1 (expand/collapse)

From commit 0607adde to 0699f9ef

2.0 (expand/collapse)

From commit 02a3726a to 02a3726a

2.1 (expand/collapse)

From commit 075e4883 to 0111c7d8

1.9 (expand/collapse)

From commit 044ceae2 to 044ceae2

2.1 (expand/collapse)

From commit 00ab5c5b to 0560caa5

2.0 (expand/collapse)

From commit 016922f8 to 016922f8

2.1 (expand/collapse)

From commit 02f70536 to 06b42906

2.0 (expand/collapse)

From commit 05bc5fed to 05bc5fed

2.1 (expand/collapse)

From commit 015d1380 to 027d52ff

2.0 (expand/collapse)

From commit 05ca6710 to 05ca6710

2.1 (expand/collapse)

From commit 078925c9 to 03476783

2.0 (expand/collapse)

From commit 00269f66 to 07db547c

1.9.1 (expand/collapse)

From commit 07e2460a to 07e2460a

2.0 (expand/collapse)

From commit 00a99022 to 0094ca20

1.9.1 (expand/collapse)

From commit 0761b0bc to 05ac3f95

1.9 (expand/collapse)

From commit 06e16f00 to 06e16f00

1.9.1 (expand/collapse)

From commit 01f3e331 to 000fb9be

1.9 (expand/collapse)

From commit 03730319 to 00f444d0

1.8 (expand/collapse)

From commit 024b0414 to 024b0414

1.9 (expand/collapse)

From commit 032f0ffd to 0635ec3b

1.8 (expand/collapse)

From commit 03e1178f to 062cdfb3

1.7 (expand/collapse)

From commit 01f0df87 to 06d6c3ed

1.6 (expand/collapse)

From commit 019472ea to 019472ea

1.7 (expand/collapse)

From commit 078ddf47 to 078ddf47

1.6 (expand/collapse)

From commit 0447c4f9 to 0703250f

1.4 (expand/collapse)

From commit 07de46c2 to 045b3547

1.2 (expand/collapse)

From commit 05c7e81e to 032617b0

0.999 (expand/collapse)

From commit 02f39c02 to 02e4b5ff