* [http://revisor.loria.fr Revisor] Revisor is a free software library giving access to a set of revision engines. As of version 1.0, it can be used to revise propositional logic formulas, linear constraint conjunctions, and qualitative constraint networks. It can also be used within a case-based reasoning application to adapt cases expressed using these formalisms. Version 2.0 introduces an adaptation operator for propositional logic that uses adaptation rules. | * [http://revisor.loria.fr Revisor] Revisor is a free software library giving access to a set of revision engines. As of version 1.0, it can be used to revise propositional logic formulas, linear constraint conjunctions, and qualitative constraint networks. It can also be used within a case-based reasoning application to adapt cases expressed using these formalisms. Version 2.0 introduces an adaptation operator for propositional logic that uses adaptation rules. |