Package main
-
Class Summary Class Description AnalysisAgainstSpectra GenuineSolutionsAnalysis Main Command-line entry point of AuRUS.ModelCountingRanking PreciseModelCountingEvaluation Settings Central, static configuration of AuRUS: every knob the genetic search, the fitness function, the model counter and the external solvers read from.SynSemDistanceAnalysis TestRunner WellSeparationAnalysis