Versions Packages Information History Related Badges Report

Related for p9m4

Related projects are determined by recursively matching package homepage URLs. Note that this list may be incomplete as Repology may not be able to get homepage URLs from some repositories.

5 project(s) on this page

Project Spr Newest Outdated Ignored Rank
p9m4 4 052 0.52 100.0
ladr-dec 1 2007 93.98
ladr 3 2009_11A 2009.02A 0.0.200911a 0.0.200902a 92.22
prover9 5 2009.11a 2009.11A 2009-11a 2009-11A 200911a 92.22
prover9-manual 1 0.0.200902a 92.22