Bug#812755: RFA: spass -- An automated theorem prover for first-order logic with equality
Hi Roland, I am not using spass directly but it is a suggestion of one the packages I maintain (why3), and in fact I am glad to have spass in debian as it is quite good at reasoning about quantified formulas, in contrast to most SMT solvers. So, I would be interested in helping out maintaining th
Bug#812755: RFA: spass -- An automated theorem prover for first-order logic with equality
Package: wnpp Severity: normal I'm not using this package regularly. Therefore, looking for a new maintainer. There was no upstream release since 2010.