prover9

prover9 2009-11A · pkgs/by-name/pr/prover9/package.nix

Health

Risk

risk 6 low

+6 no maintainer

Version

2009-11A no newer release known to repology

Channels

master 2009-11A · nixos-unstable 2009-11A · nixos-26.05 2009-11A no channel is behind master

Hydra

succeeded 2w ago

Advisories

none open

Packaging

meta complete

Packagewhat each field means

Description

Automated theorem prover for first-order and equational logic

Long description

Prover9 is a resolution/paramodulation automated theorem prover for first-order and equational logic. Prover9 is a successor of the Otter Prover. This is the LADR command-line version.

Homepage

https://www.cs.unm.edu/~mccune/mace4/

License

GPL-2.0-only

Platforms

24 platforms: Linux

Main program

prover9

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/by-name/pr/prover9/package.nix:64

Maintainers

none

Version bumps 1

all open bumps

prover9: 2009-11A -> 2026-3K draft

#513098 by manmatteo · opened 5mo ago · checks fail

Pull requests 1

prover9: 2009-11A -> 2026-3K draft

#513098 by manmatteo · opened 5mo ago · checks fail

Issues 0

None open.