Bug#812755: RFA: spass -- An automated theorem prover for first-order logic with equality

2016-09-03 Thread Ralf Treinen
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

2016-01-26 Thread stigge
Package: wnpp Severity: normal I'm not using this package regularly. Therefore, looking for a new maintainer. There was no upstream release since 2010.