Package org.variantsync.diffdetective.analysis.logic

package org.variantsync.diffdetective.analysis.logic

Related Packages

Package	Description
org.variantsync.diffdetective.analysis
org.variantsync.diffdetective.analysis.monitoring
org.variantsync.diffdetective.analysis.strategies

Classes

Class	Description
SAT	Class with static functions for satisfiability solving, potentially with some optimizations.
Tseytin	Class with methods for Tseytin conversion.
Tseytin.Convert	Helper class for Tseytin conversion that remembers generated formulas.
UniqueViewsAlgorithm