Absolver n. : One who absolves.

Example:


Taxonomy
solvers, linear arithmetic, Andreas Bauer, Michael, Tautschnig, Boolean, linear solvers, Boolean circuit, Boolean problems, non-linear problems, Martin Leucker, Christian, Schallhart, Don't care, SMT, abstraction, refinement, ISoLA.

Defination from the web:
ABsolver - Arithmetic and Boolean solver. and. ABcircuit - Arithmetic and Boolean circuit library ... Download ABsolver. A set of benchmarks and their results can be found here. Publications. Andreas Bauer, Martin Leucker, Christian Schallhart, and Michael Tautschnig. ...