├── .github └── workflows │ └── build.yml ├── .gitignore ├── CHANGELOG.md ├── LICENSE ├── README.md ├── codecov.yml ├── doc ├── logo │ └── logo_big.png └── tutorial │ ├── BicycleShopData.java │ └── BicycleShopTutorial.java ├── pom.xml └── src ├── main ├── java │ └── org │ │ └── logicng │ │ ├── LogicNGVersion.java │ │ ├── backbones │ │ ├── Backbone.java │ │ ├── BackboneGeneration.java │ │ └── BackboneType.java │ │ ├── cardinalityconstraints │ │ ├── CCALKCardinalityNetwork.java │ │ ├── CCALKModularTotalizer.java │ │ ├── CCALKTotalizer.java │ │ ├── CCAMKCardinalityNetwork.java │ │ ├── CCAMKModularTotalizer.java │ │ ├── CCAMKTotalizer.java │ │ ├── CCAMOBimander.java │ │ ├── CCAMOBinary.java │ │ ├── CCAMOCommander.java │ │ ├── CCAMOLadder.java │ │ ├── CCAMONested.java │ │ ├── CCAMOProduct.java │ │ ├── CCAMOPure.java │ │ ├── CCAtLeastK.java │ │ ├── CCAtMostK.java │ │ ├── CCAtMostOne.java │ │ ├── CCCardinalityNetworks.java │ │ ├── CCConfig.java │ │ ├── CCEXKCardinalityNetwork.java │ │ ├── CCEXKTotalizer.java │ │ ├── CCEncoder.java │ │ ├── CCExactlyK.java │ │ ├── CCIncrementalData.java │ │ ├── CCModularTotalizer.java │ │ ├── CCSorting.java │ │ └── CCTotalizer.java │ │ ├── collections │ │ ├── LNGBooleanVector.java │ │ ├── LNGByteVector.java │ │ ├── LNGDoublePriorityQueue.java │ │ ├── LNGDoubleVector.java │ │ ├── LNGIntVector.java │ │ ├── LNGLongPriorityQueue.java │ │ ├── LNGLongVector.java │ │ └── LNGVector.java │ │ ├── configurations │ │ ├── Configuration.java │ │ └── ConfigurationType.java │ │ ├── datastructures │ │ ├── Assignment.java │ │ ├── EncodingAuxiliaryVariable.java │ │ ├── EncodingResult.java │ │ ├── Substitution.java │ │ ├── Tristate.java │ │ └── ubtrees │ │ │ ├── UBNode.java │ │ │ └── UBTree.java │ │ ├── explanations │ │ ├── UNSATCore.java │ │ ├── drup │ │ │ └── DRUPTrim.java │ │ ├── mus │ │ │ ├── DeletionBasedMUS.java │ │ │ ├── MUSAlgorithm.java │ │ │ ├── MUSConfig.java │ │ │ ├── MUSGeneration.java │ │ │ └── PlainInsertionBasedMUS.java │ │ └── smus │ │ │ └── SmusComputation.java │ │ ├── formulas │ │ ├── And.java │ │ ├── BinaryOperator.java │ │ ├── CFalse.java │ │ ├── CTrue.java │ │ ├── CType.java │ │ ├── CardinalityConstraint.java │ │ ├── Constant.java │ │ ├── Equivalence.java │ │ ├── ExtendedFormulaFactory.java │ │ ├── FType.java │ │ ├── Formula.java │ │ ├── FormulaFactory.java │ │ ├── FormulaFactoryConfig.java │ │ ├── FormulaFactoryState.java │ │ ├── FormulaFunction.java │ │ ├── FormulaPredicate.java │ │ ├── FormulaTransformation.java │ │ ├── Implication.java │ │ ├── Literal.java │ │ ├── NAryOperator.java │ │ ├── Not.java │ │ ├── Or.java │ │ ├── PBConstraint.java │ │ ├── Variable.java │ │ ├── cache │ │ │ ├── CacheEntry.java │ │ │ ├── FunctionCacheEntry.java │ │ │ ├── PredicateCacheEntry.java │ │ │ └── TransformationCacheEntry.java │ │ └── printer │ │ │ ├── DefaultStringRepresentation.java │ │ │ ├── FormulaStringRepresentation.java │ │ │ ├── LatexStringRepresentation.java │ │ │ ├── SortedStringRepresentation.java │ │ │ └── UTF8StringRepresentation.java │ │ ├── functions │ │ ├── FormulaDepthFunction.java │ │ ├── LiteralProfileFunction.java │ │ ├── LiteralsFunction.java │ │ ├── MinimumPrimeImplicantFunction.java │ │ ├── NumberOfAtomsFunction.java │ │ ├── NumberOfNodesFunction.java │ │ ├── SubNodeFunction.java │ │ ├── VariableProfileFunction.java │ │ └── VariablesFunction.java │ │ ├── graphs │ │ ├── algorithms │ │ │ ├── BronKerbosch.java │ │ │ └── ConnectedComponentsComputation.java │ │ ├── datastructures │ │ │ ├── Graph.java │ │ │ ├── Hypergraph.java │ │ │ ├── HypergraphEdge.java │ │ │ ├── HypergraphNode.java │ │ │ └── Node.java │ │ ├── generators │ │ │ ├── ConstraintGraphGenerator.java │ │ │ └── HypergraphGenerator.java │ │ └── io │ │ │ ├── GraphDimacsFileWriter.java │ │ │ └── GraphDotFileWriter.java │ │ ├── handlers │ │ ├── BDDHandler.java │ │ ├── ComputationHandler.java │ │ ├── DnnfCompilationHandler.java │ │ ├── FactorizationHandler.java │ │ ├── Handler.java │ │ ├── MaxSATHandler.java │ │ ├── ModelEnumerationHandler.java │ │ ├── NumberOfModelsHandler.java │ │ ├── NumberOfNodesBDDHandler.java │ │ ├── OptimizationHandler.java │ │ ├── SATHandler.java │ │ ├── TimeoutBDDHandler.java │ │ ├── TimeoutHandler.java │ │ ├── TimeoutMaxSATHandler.java │ │ ├── TimeoutModelEnumerationHandler.java │ │ ├── TimeoutOptimizationHandler.java │ │ └── TimeoutSATHandler.java │ │ ├── io │ │ ├── graphical │ │ │ ├── GraphicalColor.java │ │ │ ├── GraphicalDotWriter.java │ │ │ ├── GraphicalEdge.java │ │ │ ├── GraphicalEdgeStyle.java │ │ │ ├── GraphicalMermaidWriter.java │ │ │ ├── GraphicalNode.java │ │ │ ├── GraphicalNodeStyle.java │ │ │ ├── GraphicalRepresentation.java │ │ │ ├── GraphicalRepresentationWriter.java │ │ │ └── generators │ │ │ │ ├── BddEdgeStyleMapper.java │ │ │ │ ├── BddGraphicalGenerator.java │ │ │ │ ├── BddLabelMapper.java │ │ │ │ ├── BddMapper.java │ │ │ │ ├── BddNodeStyleMapper.java │ │ │ │ ├── EdgeStyleMapper.java │ │ │ │ ├── FormulaAstGraphicalGenerator.java │ │ │ │ ├── FormulaDagGraphicalGenerator.java │ │ │ │ ├── GraphGraphicalGenerator.java │ │ │ │ ├── GraphicalGenerator.java │ │ │ │ ├── GraphicalGeneratorBuilder.java │ │ │ │ ├── LabelMapper.java │ │ │ │ └── NodeStyleMapper.java │ │ ├── readers │ │ │ └── DimacsReader.java │ │ └── writers │ │ │ ├── FormulaDimacsFileWriter.java │ │ │ ├── FormulaDotFileWriter.java │ │ │ └── FormulaWriter.java │ │ ├── knowledgecompilation │ │ ├── bdds │ │ │ ├── BDD.java │ │ │ ├── BDDFactory.java │ │ │ ├── datastructures │ │ │ │ ├── BDDConstant.java │ │ │ │ ├── BDDInnerNode.java │ │ │ │ └── BDDNode.java │ │ │ ├── functions │ │ │ │ ├── BDDCNFFunction.java │ │ │ │ ├── BDDDNFFunction.java │ │ │ │ ├── BDDFunction.java │ │ │ │ ├── BDDModelEnumerationFunction.java │ │ │ │ ├── BDDNormalFormFunction.java │ │ │ │ └── LngBDDFunction.java │ │ │ ├── io │ │ │ │ └── BDDDotFileWriter.java │ │ │ ├── jbuddy │ │ │ │ ├── BDDCache.java │ │ │ │ ├── BDDCacheEntry.java │ │ │ │ ├── BDDConstruction.java │ │ │ │ ├── BDDKernel.java │ │ │ │ ├── BDDOperations.java │ │ │ │ ├── BDDPrime.java │ │ │ │ ├── BDDReordering.java │ │ │ │ ├── BDDReorderingMethod.java │ │ │ │ └── BDDTree.java │ │ │ └── orderings │ │ │ │ ├── BFSOrdering.java │ │ │ │ ├── DFSOrdering.java │ │ │ │ ├── ForceOrdering.java │ │ │ │ ├── MaxToMinOrdering.java │ │ │ │ ├── MinToMaxOrdering.java │ │ │ │ ├── VariableOrdering.java │ │ │ │ └── VariableOrderingProvider.java │ │ └── dnnf │ │ │ ├── DnnfCompiler.java │ │ │ ├── DnnfFactory.java │ │ │ ├── DnnfMiniSatStyleSolver.java │ │ │ ├── DnnfSatSolver.java │ │ │ ├── datastructures │ │ │ ├── Dnnf.java │ │ │ └── dtree │ │ │ │ ├── DTree.java │ │ │ │ ├── DTreeGenerator.java │ │ │ │ ├── DTreeLeaf.java │ │ │ │ ├── DTreeNode.java │ │ │ │ ├── EliminatingOrderDTreeGenerator.java │ │ │ │ └── MinFillDTreeGenerator.java │ │ │ └── functions │ │ │ ├── DnnfFunction.java │ │ │ └── DnnfModelCountFunction.java │ │ ├── modelcounting │ │ └── ModelCounter.java │ │ ├── np │ │ └── SetCover.java │ │ ├── predicates │ │ ├── AIGPredicate.java │ │ ├── CNFPredicate.java │ │ ├── ContainsPBCPredicate.java │ │ ├── DNFPredicate.java │ │ ├── EvaluatesToConstantPredicate.java │ │ ├── NNFPredicate.java │ │ ├── TermPredicate.java │ │ └── satisfiability │ │ │ ├── ContingencyPredicate.java │ │ │ ├── ContradictionPredicate.java │ │ │ ├── SATPredicate.java │ │ │ └── TautologyPredicate.java │ │ ├── primecomputation │ │ ├── NaivePrimeReduction.java │ │ ├── PrimeCompiler.java │ │ └── PrimeResult.java │ │ ├── propositions │ │ ├── ExtendedProposition.java │ │ ├── Proposition.java │ │ ├── PropositionBackpack.java │ │ └── StandardProposition.java │ │ ├── pseudobooleans │ │ ├── PBAdderNetworks.java │ │ ├── PBBinaryMerge.java │ │ ├── PBConfig.java │ │ ├── PBEncoder.java │ │ ├── PBEncoding.java │ │ └── PBSWC.java │ │ ├── solvers │ │ ├── MaxSATSolver.java │ │ ├── MiniSat.java │ │ ├── SATSolver.java │ │ ├── SolverState.java │ │ ├── datastructures │ │ │ ├── LNGBoundedIntQueue.java │ │ │ ├── LNGBoundedLongQueue.java │ │ │ ├── LNGHeap.java │ │ │ ├── MSClause.java │ │ │ ├── MSHardClause.java │ │ │ ├── MSSoftClause.java │ │ │ ├── MSVariable.java │ │ │ └── MSWatcher.java │ │ ├── functions │ │ │ ├── BackboneFunction.java │ │ │ ├── FormulaOnSolverFunction.java │ │ │ ├── ModelEnumerationFunction.java │ │ │ ├── OptimizationFunction.java │ │ │ ├── SolverFunction.java │ │ │ ├── UnsatCoreFunction.java │ │ │ └── UpZeroLiteralsFunction.java │ │ ├── maxsat │ │ │ ├── OptimizationConfig.java │ │ │ ├── algorithms │ │ │ │ ├── IncWBO.java │ │ │ │ ├── LinearSU.java │ │ │ │ ├── LinearUS.java │ │ │ │ ├── MSU3.java │ │ │ │ ├── MaxSAT.java │ │ │ │ ├── MaxSATConfig.java │ │ │ │ ├── OLL.java │ │ │ │ ├── WBO.java │ │ │ │ └── WMSU3.java │ │ │ └── encodings │ │ │ │ ├── Encoder.java │ │ │ │ ├── Encoding.java │ │ │ │ ├── Ladder.java │ │ │ │ ├── ModularTotalizer.java │ │ │ │ ├── SequentialWeightCounter.java │ │ │ │ └── Totalizer.java │ │ └── sat │ │ │ ├── GlucoseConfig.java │ │ │ ├── GlucoseSyrup.java │ │ │ ├── MiniCard.java │ │ │ ├── MiniSat2Solver.java │ │ │ ├── MiniSatConfig.java │ │ │ └── MiniSatStyleSolver.java │ │ ├── transformations │ │ ├── AIGTransformation.java │ │ ├── Anonymizer.java │ │ ├── BDDNormalFormTransformation.java │ │ ├── CanonicalEnumeration.java │ │ ├── FormulaFactoryImporter.java │ │ ├── LiteralSubstitution.java │ │ ├── NNFTransformation.java │ │ ├── PureExpansionTransformation.java │ │ ├── Subsumption.java │ │ ├── UnitPropagation.java │ │ ├── cnf │ │ │ ├── BDDCNFTransformation.java │ │ │ ├── CNFConfig.java │ │ │ ├── CNFEncoder.java │ │ │ ├── CNFFactorization.java │ │ │ ├── CNFSubsumption.java │ │ │ ├── CanonicalCNFEnumeration.java │ │ │ ├── PlaistedGreenbaumTransformation.java │ │ │ ├── PlaistedGreenbaumTransformationSolver.java │ │ │ └── TseitinTransformation.java │ │ ├── dnf │ │ │ ├── BDDDNFTransformation.java │ │ │ ├── CanonicalDNFEnumeration.java │ │ │ ├── DNFFactorization.java │ │ │ └── DNFSubsumption.java │ │ ├── qe │ │ │ ├── ExistentialQuantifierElimination.java │ │ │ └── UniversalQuantifierElimination.java │ │ ├── qmc │ │ │ ├── QuineMcCluskeyAlgorithm.java │ │ │ ├── Term.java │ │ │ └── TermTable.java │ │ └── simplification │ │ │ ├── AdvancedSimplifier.java │ │ │ ├── AdvancedSimplifierConfig.java │ │ │ ├── BackboneSimplifier.java │ │ │ ├── DefaultRatingFunction.java │ │ │ ├── DistributiveSimplifier.java │ │ │ ├── FactorOutSimplifier.java │ │ │ ├── NegationSimplifier.java │ │ │ └── RatingFunction.java │ │ └── util │ │ ├── CollectionHelper.java │ │ ├── ComparablePair.java │ │ ├── FormulaCornerCases.java │ │ ├── FormulaHelper.java │ │ ├── FormulaRandomizer.java │ │ ├── FormulaRandomizerConfig.java │ │ └── Pair.java └── resources │ └── org │ └── logicng │ └── version.txt └── test ├── antlr ├── LogicNGPropositional.g4 └── LogicNGPseudoBoolean.g4 ├── java └── org │ └── logicng │ ├── LogicNGTest.java │ ├── LogicNGVersionTest.java │ ├── LongRunningTag.java │ ├── RandomTag.java │ ├── TestWithExampleFormulas.java │ ├── backbones │ ├── BackboneGenerationTest.java │ └── BackboneTest.java │ ├── cardinalityconstraints │ ├── CCALKTest.java │ ├── CCAMKTest.java │ ├── CCAMOTest.java │ ├── CCEXKTest.java │ ├── CCEXOTest.java │ ├── CCIncrementalFormulaTest.java │ ├── CCIncrementalSolverTest.java │ └── CCPerformanceTest.java │ ├── collections │ ├── LNGBooleanVectorTest.java │ ├── LNGByteVectorTest.java │ ├── LNGDoublePriorityQueueTest.java │ ├── LNGDoubleVectorTest.java │ ├── LNGIntVectorTest.java │ ├── LNGLongPriorityQueueTest.java │ ├── LNGLongVectorTest.java │ └── LNGVectorTest.java │ ├── configurations │ └── ConfigurationsTest.java │ ├── datastructures │ ├── AssignmentTest.java │ ├── DatastructuresTest.java │ └── ubtrees │ │ ├── UBNodeTest.java │ │ └── UBTreeTest.java │ ├── explanations │ ├── UNSATCoreTest.java │ ├── drup │ │ └── DRUPTest.java │ ├── mus │ │ ├── MUSConfigTest.java │ │ └── MUSGenerationTest.java │ └── smus │ │ └── SmusComputationTest.java │ ├── formulas │ ├── AndTest.java │ ├── CFalseTest.java │ ├── CTrueTest.java │ ├── CacheTest.java │ ├── EquivalenceTest.java │ ├── EvaluationTest.java │ ├── ExtendedFormulaFactoryTest.java │ ├── FTypeTest.java │ ├── FormulaFactoryTest.java │ ├── FormulaFactoryWithoutContradictionCheckTest.java │ ├── FormulaIteratorTest.java │ ├── FormulaMergeTest.java │ ├── FormulaTest.java │ ├── ImplicationTest.java │ ├── LiteralTest.java │ ├── NNFTest.java │ ├── NotTest.java │ ├── OrTest.java │ ├── PBConstraintTest.java │ ├── RestrictionTest.java │ ├── SubstitutionTest.java │ └── printer │ │ ├── DefaultStringRepresentationTest.java │ │ ├── LatexStringRepresentationTest.java │ │ ├── SortedStringRepresentationTest.java │ │ └── UTF8StringRepresentationTest.java │ ├── functions │ ├── FormulaDepthFunctionTest.java │ ├── LiteralProfileTest.java │ ├── MinimumPrimeImplicantTest.java │ ├── SubformulaTest.java │ └── VariableProfileTest.java │ ├── graphs │ ├── algorithms │ │ ├── BronKerboschTest.java │ │ └── ConnectedComponentsComputerTest.java │ ├── datastructures │ │ ├── GraphTest.java │ │ ├── HypergraphEdgeTest.java │ │ ├── HypergraphNodeTest.java │ │ └── HypergraphTest.java │ ├── generators │ │ ├── ConstraintGraphGeneratorTest.java │ │ └── HypergraphGeneratorTest.java │ └── io │ │ ├── GraphDimacsFileWriterTest.java │ │ └── conditions │ │ └── ContainsCondition.java │ ├── handlers │ ├── BoundedOptimizationHandler.java │ ├── BoundedSatHandler.java │ ├── NumberOfNodesBDDHandlerTest.java │ ├── TimeoutBDDHandlerTest.java │ ├── TimeoutMaxSATHandlerTest.java │ ├── TimeoutModelEnumerationHandlerTest.java │ ├── TimeoutOptimizationHandlerTest.java │ ├── TimeoutSATHandlerTest.java │ └── TimerTypeTest.java │ ├── io │ ├── FormulaWriterReaderTest.java │ ├── graphical │ │ ├── GraphicalEdgeTest.java │ │ ├── GraphicalNodeTest.java │ │ └── generators │ │ │ ├── BddGraphicalGeneratorTest.java │ │ │ ├── FormulaAstGraphicalGeneratorTest.java │ │ │ ├── FormulaDagGraphicalGeneratorTest.java │ │ │ └── GraphGraphicalGeneratorTest.java │ ├── parsers │ │ ├── FormulaParser.java │ │ ├── LexerException.java │ │ ├── ParserException.java │ │ ├── ParserWithFormula.java │ │ ├── PropositionalLexer.java │ │ ├── PropositionalParser.java │ │ ├── PseudoBooleanLexer.java │ │ └── PseudoBooleanParser.java │ ├── readers │ │ ├── DimacsReaderTest.java │ │ └── FormulaReader.java │ └── writers │ │ └── FormulaDimacsFileWriterTest.java │ ├── knowledgecompilation │ ├── bdds │ │ ├── BDDConstructionTests.java │ │ ├── BDDLowLevelTest.java │ │ ├── BDDModelEnumerationTest.java │ │ ├── BDDOperationsTest.java │ │ ├── BDDReorderingTest.java │ │ ├── FormulaBDDTest.java │ │ ├── LargeBDDTest.java │ │ ├── SimpleBDDTest.java │ │ ├── datastructures │ │ │ └── BDDNodeTest.java │ │ ├── jbuddy │ │ │ ├── BDDPrimeTest.java │ │ │ └── BDDVerification.java │ │ └── orderings │ │ │ ├── BFSOrderingTest.java │ │ │ ├── DFSOrderingTest.java │ │ │ ├── ForceOrderingTest.java │ │ │ └── OccurrenceOrderingTest.java │ └── dnnf │ │ ├── DnnfCompilerTest.java │ │ └── datastructures │ │ └── dtree │ │ └── DTreeNodeTest.java │ ├── modelcounting │ └── ModelCounterTest.java │ ├── np │ └── SetCoverTest.java │ ├── predicates │ ├── CNFPredicateTest.java │ ├── ContainsPBCPredicateTest.java │ ├── DNFPredicateTest.java │ ├── EvaluatesToConstantPredicateTest.java │ ├── NNFPredicateTest.java │ ├── TermPredicateTest.java │ └── satisfiability │ │ └── PredicatesTest.java │ ├── primecomputation │ ├── PrimeCompilerTest.java │ ├── PrimeImplicantReductionTest.java │ ├── PrimeImplicateReductionTest.java │ └── PrimeResultTest.java │ ├── propositions │ ├── ExtendedPropositionTest.java │ └── StandardPropositionTest.java │ ├── pseudobooleans │ ├── PBEncoderTest.java │ └── PBSolvingTest.java │ ├── solvers │ ├── ModelTest.java │ ├── datastructures │ │ ├── LNGHeapTest.java │ │ └── SolversDatastructuresTest.java │ ├── functions │ │ ├── BackboneFunctionTest.java │ │ ├── ModelEnumerationFunctionTest.java │ │ ├── OptimizationFunctionTest.java │ │ └── UnsatCoreFunctionTest.java │ ├── maxsat │ │ ├── MaxSATClassTest.java │ │ ├── MaxSATReader.java │ │ ├── MaxSatLongRunningTest.java │ │ ├── PartialMaxSATTest.java │ │ ├── PartialWeightedMaxSATTest.java │ │ ├── PureMaxSATTest.java │ │ └── encodings │ │ │ └── EncodingsTest.java │ └── sat │ │ ├── AssumeTest.java │ │ ├── ConfigurationsTest.java │ │ ├── GlucoseSyrupTest.java │ │ ├── IncDecTest.java │ │ ├── MiniCardTest.java │ │ ├── MiniSatTest.java │ │ └── SATTest.java │ ├── testutils │ ├── NQueensGenerator.java │ ├── PigeonHoleGenerator.java │ └── TestUtil.java │ ├── transformations │ ├── AIGTest.java │ ├── AnonymizerTest.java │ ├── FormulaFactoryImporterTest.java │ ├── LiteralSubstitutionTest.java │ ├── PureExpansionTransformationTest.java │ ├── UnitPropagationTest.java │ ├── cnf │ │ ├── BDDCNFTest.java │ │ ├── CNFEncoderTest.java │ │ ├── CNFSubsumptionTest.java │ │ ├── CNFTest.java │ │ ├── CanonicalCNFEnumerationTest.java │ │ ├── CnfMethodComparisonTest.java │ │ ├── PlaistedGreenbaumTest.java │ │ ├── PlaistedGreenbaumTransformationSolverTest.java │ │ └── TseitinTest.java │ ├── dnf │ │ ├── BDDDNFTest.java │ │ ├── CanonicalDNFEnumerationTest.java │ │ ├── DNFFactorizationTest.java │ │ └── DNFSubsumptionTest.java │ ├── qe │ │ └── QETest.java │ ├── qmc │ │ ├── QuineMcCluskeyTest.java │ │ ├── TermTableTest.java │ │ └── TermTest.java │ └── simplification │ │ ├── AdvancedSimplifierTest.java │ │ ├── BackboneSimplifierTest.java │ │ ├── DistributiveSimplifierTest.java │ │ ├── FactorOutSimplificationTest.java │ │ └── NegationMinimizerTest.java │ └── util │ ├── CollectionHelperTest.java │ ├── ComparablePairTest.java │ ├── FormulaHelperTest.java │ ├── FormulaRandomizerTest.java │ └── PairTest.java └── resources ├── backbones ├── backbone_large_formula.txt └── backbone_small_formulas.txt ├── dimacs └── malformed │ └── contains-line-without-zero.cnf ├── dnnf ├── both_bdd_dnnf_1.cnf ├── both_bdd_dnnf_2.cnf ├── both_bdd_dnnf_3.cnf ├── both_bdd_dnnf_4.cnf └── both_bdd_dnnf_5.cnf ├── drup ├── avg_input.cnf ├── pg4_input.cnf └── simple_input.cnf ├── formulas ├── formula1.txt ├── formula2.txt ├── formula3.txt ├── large_formula.txt ├── simplify_formulas.txt └── small_formulas.txt ├── graphs ├── graph30.txt ├── graph50.txt └── io │ ├── graphs-dimacs │ ├── 30_f.col │ ├── 30_t.col │ ├── 30_t.map │ ├── 50p1_f.col │ ├── 50p1_t.col │ ├── 50p1_t.map │ ├── small_f.col │ ├── small_t.col │ └── small_t.map │ └── temp │ ├── .empty │ ├── 30_f.col │ ├── 30_t.col │ ├── 30_t.map │ ├── 50p1_f.col │ ├── 50p1_t.col │ ├── 50p1_t.map │ ├── small_f.col │ ├── small_t.col │ └── small_t.map ├── longrunning └── wms │ ├── file_rwms_wcnf_L2_V100_C300_0.wcnf │ ├── file_rwms_wcnf_L3_V70_C300_0.wcnf │ ├── file_rwms_wcnf_L3_V70_C300_1.wcnf │ ├── file_rwms_wcnf_L3_V70_C300_2.wcnf │ ├── file_rwms_wcnf_L3_V70_C300_3.wcnf │ ├── file_rwms_wcnf_L3_V70_C300_4.wcnf │ ├── file_rwms_wcnf_L3_V70_C300_5.wcnf │ ├── file_rwms_wcnf_L3_V70_C300_6.wcnf │ ├── file_rwms_wcnf_L3_V70_C300_7.wcnf │ ├── file_rwms_wcnf_L3_V70_C300_8.wcnf │ ├── file_rwms_wcnf_L3_V70_C300_9.wcnf │ ├── frb10-6-1.wcnf │ ├── frb10-6-2.wcnf │ ├── frb10-6-3.wcnf │ ├── frb10-6-4.wcnf │ ├── frb15-9-1.wcnf │ ├── frb15-9-2.wcnf │ ├── frb15-9-3.wcnf │ ├── frb15-9-4.wcnf │ ├── frb15-9-5.wcnf │ ├── frb20-11-1.wcnf │ ├── frb20-11-2.wcnf │ ├── frb20-11-3.wcnf │ ├── frb20-11-4.wcnf │ ├── frb20-11-5.wcnf │ ├── frb25-13-1.wcnf │ ├── frb25-13-2.wcnf │ ├── frb25-13-3.wcnf │ ├── frb25-13-4.wcnf │ ├── frb25-13-5.wcnf │ ├── ram_k3_n4.ra1.wcnf │ ├── ram_k3_n5.ra1.wcnf │ ├── ram_k3_n6.ra1.wcnf │ └── result.txt ├── maxsat ├── c-fat200-2.clq.cnf ├── c5315-bug-gate-0.dimacs.seq.filtered.cnf ├── c6288-bug-gate-0.dimacs.seq.filtered.cnf ├── c7552-bug-gate-0.dimacs.seq.filtered.cnf ├── mot_comb1._red-gate-0.dimacs.seq.filtered.cnf ├── mot_comb2._red-gate-0.dimacs.seq.filtered.cnf ├── mot_comb3._red-gate-0.dimacs.seq.filtered.cnf └── s15850-bug-onevec-gate-0.dimacs.seq.filtered.cnf ├── partialmaxsat ├── c1355_F1001gat-1048gat@1.wcnf ├── c1355_F1183gat-1262gat@1.wcnf ├── c1355_F1229gat@1.wcnf ├── c1355_F176gat-1278gat@1.wcnf ├── normalized-s3-3-3-1pb.wcnf ├── normalized-s3-3-3-2pb.wcnf ├── normalized-s3-3-3-3pb.wcnf └── term1_gr_2pin_w4.shuffled.cnf ├── partialweightedmaxsat ├── 404.wcsp.log.wcnf ├── 54.wcsp.log.wcnf ├── 8.wcsp.log.wcnf ├── bmo │ ├── normalized-factor-size=9-P=11-Q=283.opb.wcnf │ ├── normalized-factor-size=9-P=11-Q=53.opb.wcnf │ ├── normalized-factor-size=9-P=13-Q=179.opb.wcnf │ ├── normalized-factor-size=9-P=17-Q=347.opb.wcnf │ ├── normalized-factor-size=9-P=17-Q=487.opb.wcnf │ └── normalized-factor-size=9-P=23-Q=293.opb.wcnf ├── large │ ├── large_industrial.wcnf │ ├── large_weights.wcnf │ └── t3g3-5555.spn.wcnf └── term1_gr_2pin_w4.shuffled.cnf ├── sat ├── 3col40_5_10.shuffled.cnf ├── 9symml_gr_rcs_w5.shuffled.cnf ├── 9symml_gr_rcs_w6.shuffled.cnf ├── D1119_M23.cnf ├── apex7_gr_rcs_w5.shuffled.cnf ├── avg-checker-4-23.shuffled.cnf ├── bart30.shuffled.cnf ├── c499_gr_rcs_w6.shuffled.cnf ├── ca032.shuffled.cnf ├── ca064.shuffled.cnf ├── ca128.shuffled.cnf ├── dp02s02.shuffled.cnf ├── example2_gr_rcs_w6.shuffled.cnf ├── grid_10_20.shuffled.cnf ├── med19.shuffled.cnf ├── results.txt ├── term1_gr_rcs_w3.shuffled.cnf ├── term1_gr_rcs_w4.shuffled.cnf ├── too_large_gr_rcs_w5.shuffled.cnf ├── too_large_gr_rcs_w6.shuffled.cnf ├── unsat │ ├── aim-100-1_6-no-1.cnf │ ├── aim-100-1_6-no-2.cnf │ ├── aim-100-1_6-no-3.cnf │ ├── aim-100-1_6-no-4.cnf │ ├── aim-100-2_0-no-1.cnf │ ├── aim-100-2_0-no-2.cnf │ ├── aim-100-2_0-no-3.cnf │ ├── aim-100-2_0-no-4.cnf │ ├── aim-200-1_6-no-1.cnf │ ├── aim-200-1_6-no-2.cnf │ ├── aim-200-1_6-no-3.cnf │ ├── aim-200-1_6-no-4.cnf │ ├── aim-200-2_0-no-1.cnf │ ├── aim-200-2_0-no-2.cnf │ ├── aim-200-2_0-no-3.cnf │ ├── aim-200-2_0-no-4.cnf │ ├── aim-50-1_6-no-1.cnf │ ├── aim-50-1_6-no-2.cnf │ ├── aim-50-1_6-no-3.cnf │ ├── aim-50-1_6-no-4.cnf │ ├── aim-50-2_0-no-1.cnf │ ├── aim-50-2_0-no-2.cnf │ ├── aim-50-2_0-no-3.cnf │ ├── aim-50-2_0-no-4.cnf │ ├── bf0432-007.cnf │ ├── bf1355-075.cnf │ ├── bf1355-638.cnf │ ├── bf2670-001.cnf │ ├── pret150_25.cnf │ ├── pret150_40.cnf │ ├── pret150_60.cnf │ ├── pret150_75.cnf │ ├── pret60_25.cnf │ ├── pret60_40.cnf │ ├── pret60_60.cnf │ └── pret60_75.cnf └── x1_16.shuffled.cnf └── writers ├── bdd ├── a_bdd.dot ├── a_bdd.txt ├── and_bdd.dot ├── and_bdd.txt ├── equiv_bdd.dot ├── equiv_bdd.txt ├── false_bdd.dot ├── false_bdd.txt ├── formula-dynamic_bdd.dot ├── formula-dynamic_bdd.txt ├── formula-fixedStyle_bdd.dot ├── formula-fixedStyle_bdd.txt ├── formula_bdd.dot ├── formula_bdd.txt ├── impl_bdd.dot ├── impl_bdd.txt ├── not_a_bdd.dot ├── not_a_bdd.txt ├── not_bdd.dot ├── not_bdd.txt ├── or_bdd.dot ├── or_bdd.txt ├── true_bdd.dot └── true_bdd.txt ├── formulas-ast ├── f1-ast.dot ├── f1-ast.txt ├── f10-ast.dot ├── f10-ast.txt ├── f2-ast.dot ├── f2-ast.txt ├── f3-ast.dot ├── f3-ast.txt ├── f4-ast.dot ├── f4-ast.txt ├── f5-ast.dot ├── f5-ast.txt ├── f6-ast.dot ├── f6-ast.txt ├── f7-ast.dot ├── f7-ast.txt ├── f8-ast.dot ├── f8-ast.txt ├── f8-ownLabels-ast.dot ├── f8-ownLabels-ast.txt ├── f9-ast.dot ├── f9-ast.txt ├── false-ast.dot ├── false-ast.txt ├── not_x-ast.dot ├── not_x-ast.txt ├── true-ast.dot ├── true-ast.txt ├── x-ast.dot └── x-ast.txt ├── formulas-dag ├── f1.dot ├── f1.txt ├── f10.dot ├── f10.txt ├── f2.dot ├── f2.txt ├── f3.dot ├── f3.txt ├── f4.dot ├── f4.txt ├── f5.dot ├── f5.txt ├── f6.dot ├── f6.txt ├── f7.dot ├── f7.txt ├── f8.dot ├── f8.txt ├── f9.dot ├── f9.txt ├── false.dot ├── false.txt ├── not_x.dot ├── not_x.txt ├── true.dot ├── true.txt ├── x.dot └── x.txt ├── formulas-dimacs ├── f1_f.cnf ├── f1_t.cnf ├── f1_t.map ├── f2_f.cnf ├── f2_t.cnf ├── f2_t.map ├── f3_f.cnf ├── f3_t.cnf ├── f3_t.map ├── f4_f.cnf ├── f4_t.cnf ├── f4_t.map ├── f5_f.cnf ├── f5_t.cnf ├── f5_t.map ├── f6_f.cnf ├── f6_t.cnf ├── f6_t.map ├── f7_f.cnf ├── f7_t.cnf ├── f7_t.map ├── false_f.cnf ├── false_t.cnf ├── false_t.map ├── not_x_f.cnf ├── not_x_t.cnf ├── not_x_t.map ├── true_f.cnf ├── true_t.cnf ├── true_t.map ├── x_f.cnf ├── x_t.cnf └── x_t.map ├── graph ├── 30-dynamic.dot ├── 30-dynamic.txt ├── 30.dot ├── 30.txt ├── 50p1.dot ├── 50p1.txt ├── small-fixedStyle.dot ├── small-fixedStyle.txt ├── small.dot └── small.txt └── temp └── .empty /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/README.md -------------------------------------------------------------------------------- /codecov.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/codecov.yml -------------------------------------------------------------------------------- /doc/logo/logo_big.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/doc/logo/logo_big.png -------------------------------------------------------------------------------- /doc/tutorial/BicycleShopData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/doc/tutorial/BicycleShopData.java -------------------------------------------------------------------------------- /doc/tutorial/BicycleShopTutorial.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/doc/tutorial/BicycleShopTutorial.java -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/pom.xml -------------------------------------------------------------------------------- /src/main/java/org/logicng/LogicNGVersion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/LogicNGVersion.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/backbones/Backbone.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/backbones/Backbone.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/backbones/BackboneGeneration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/backbones/BackboneGeneration.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/backbones/BackboneType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/backbones/BackboneType.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCALKCardinalityNetwork.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCALKCardinalityNetwork.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCALKModularTotalizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCALKModularTotalizer.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCALKTotalizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCALKTotalizer.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAMKCardinalityNetwork.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAMKCardinalityNetwork.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAMKModularTotalizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAMKModularTotalizer.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAMKTotalizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAMKTotalizer.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAMOBimander.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAMOBimander.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAMOBinary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAMOBinary.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAMOCommander.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAMOCommander.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAMOLadder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAMOLadder.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAMONested.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAMONested.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAMOProduct.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAMOProduct.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAMOPure.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAMOPure.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAtLeastK.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAtLeastK.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAtMostK.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAtMostK.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCAtMostOne.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCAtMostOne.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCCardinalityNetworks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCCardinalityNetworks.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCConfig.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCEXKCardinalityNetwork.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCEXKCardinalityNetwork.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCEXKTotalizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCEXKTotalizer.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCEncoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCEncoder.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCExactlyK.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCExactlyK.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCIncrementalData.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCIncrementalData.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCModularTotalizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCModularTotalizer.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCSorting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCSorting.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/cardinalityconstraints/CCTotalizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/cardinalityconstraints/CCTotalizer.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/collections/LNGBooleanVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/collections/LNGBooleanVector.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/collections/LNGByteVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/collections/LNGByteVector.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/collections/LNGDoublePriorityQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/collections/LNGDoublePriorityQueue.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/collections/LNGDoubleVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/collections/LNGDoubleVector.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/collections/LNGIntVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/collections/LNGIntVector.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/collections/LNGLongPriorityQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/collections/LNGLongPriorityQueue.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/collections/LNGLongVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/collections/LNGLongVector.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/collections/LNGVector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/collections/LNGVector.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/configurations/Configuration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/configurations/Configuration.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/configurations/ConfigurationType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/configurations/ConfigurationType.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/datastructures/Assignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/datastructures/Assignment.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/datastructures/EncodingAuxiliaryVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/datastructures/EncodingAuxiliaryVariable.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/datastructures/EncodingResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/datastructures/EncodingResult.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/datastructures/Substitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/datastructures/Substitution.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/datastructures/Tristate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/datastructures/Tristate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/datastructures/ubtrees/UBNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/datastructures/ubtrees/UBNode.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/datastructures/ubtrees/UBTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/datastructures/ubtrees/UBTree.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/explanations/UNSATCore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/explanations/UNSATCore.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/explanations/drup/DRUPTrim.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/explanations/drup/DRUPTrim.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/explanations/mus/DeletionBasedMUS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/explanations/mus/DeletionBasedMUS.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/explanations/mus/MUSAlgorithm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/explanations/mus/MUSAlgorithm.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/explanations/mus/MUSConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/explanations/mus/MUSConfig.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/explanations/mus/MUSGeneration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/explanations/mus/MUSGeneration.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/explanations/mus/PlainInsertionBasedMUS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/explanations/mus/PlainInsertionBasedMUS.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/explanations/smus/SmusComputation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/explanations/smus/SmusComputation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/And.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/And.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/BinaryOperator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/BinaryOperator.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/CFalse.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/CFalse.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/CTrue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/CTrue.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/CType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/CType.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/CardinalityConstraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/CardinalityConstraint.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/Constant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/Constant.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/Equivalence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/Equivalence.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/ExtendedFormulaFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/ExtendedFormulaFactory.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/FType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/FType.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/Formula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/Formula.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/FormulaFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/FormulaFactory.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/FormulaFactoryConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/FormulaFactoryConfig.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/FormulaFactoryState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/FormulaFactoryState.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/FormulaFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/FormulaFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/FormulaPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/FormulaPredicate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/FormulaTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/FormulaTransformation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/Implication.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/Implication.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/Literal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/Literal.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/NAryOperator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/NAryOperator.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/Not.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/Not.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/Or.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/Or.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/PBConstraint.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/PBConstraint.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/Variable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/Variable.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/cache/CacheEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/cache/CacheEntry.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/cache/FunctionCacheEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/cache/FunctionCacheEntry.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/cache/PredicateCacheEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/cache/PredicateCacheEntry.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/cache/TransformationCacheEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/cache/TransformationCacheEntry.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/printer/DefaultStringRepresentation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/printer/DefaultStringRepresentation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/printer/FormulaStringRepresentation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/printer/FormulaStringRepresentation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/printer/LatexStringRepresentation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/printer/LatexStringRepresentation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/printer/SortedStringRepresentation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/printer/SortedStringRepresentation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/formulas/printer/UTF8StringRepresentation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/formulas/printer/UTF8StringRepresentation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/functions/FormulaDepthFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/functions/FormulaDepthFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/functions/LiteralProfileFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/functions/LiteralProfileFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/functions/LiteralsFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/functions/LiteralsFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/functions/MinimumPrimeImplicantFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/functions/MinimumPrimeImplicantFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/functions/NumberOfAtomsFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/functions/NumberOfAtomsFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/functions/NumberOfNodesFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/functions/NumberOfNodesFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/functions/SubNodeFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/functions/SubNodeFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/functions/VariableProfileFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/functions/VariableProfileFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/functions/VariablesFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/functions/VariablesFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/graphs/algorithms/BronKerbosch.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/graphs/algorithms/BronKerbosch.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/graphs/algorithms/ConnectedComponentsComputation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/graphs/algorithms/ConnectedComponentsComputation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/graphs/datastructures/Graph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/graphs/datastructures/Graph.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/graphs/datastructures/Hypergraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/graphs/datastructures/Hypergraph.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/graphs/datastructures/HypergraphEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/graphs/datastructures/HypergraphEdge.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/graphs/datastructures/HypergraphNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/graphs/datastructures/HypergraphNode.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/graphs/datastructures/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/graphs/datastructures/Node.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/graphs/generators/ConstraintGraphGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/graphs/generators/ConstraintGraphGenerator.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/graphs/generators/HypergraphGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/graphs/generators/HypergraphGenerator.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/graphs/io/GraphDimacsFileWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/graphs/io/GraphDimacsFileWriter.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/graphs/io/GraphDotFileWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/graphs/io/GraphDotFileWriter.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/BDDHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/BDDHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/ComputationHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/ComputationHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/DnnfCompilationHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/DnnfCompilationHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/FactorizationHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/FactorizationHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/Handler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/Handler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/MaxSATHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/MaxSATHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/ModelEnumerationHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/ModelEnumerationHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/NumberOfModelsHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/NumberOfModelsHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/NumberOfNodesBDDHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/NumberOfNodesBDDHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/OptimizationHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/OptimizationHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/SATHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/SATHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/TimeoutBDDHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/TimeoutBDDHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/TimeoutHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/TimeoutHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/TimeoutMaxSATHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/TimeoutMaxSATHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/TimeoutModelEnumerationHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/TimeoutModelEnumerationHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/TimeoutOptimizationHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/TimeoutOptimizationHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/handlers/TimeoutSATHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/handlers/TimeoutSATHandler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/GraphicalColor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/GraphicalColor.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/GraphicalDotWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/GraphicalDotWriter.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/GraphicalEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/GraphicalEdge.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/GraphicalEdgeStyle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/GraphicalEdgeStyle.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/GraphicalMermaidWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/GraphicalMermaidWriter.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/GraphicalNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/GraphicalNode.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/GraphicalNodeStyle.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/GraphicalNodeStyle.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/GraphicalRepresentation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/GraphicalRepresentation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/GraphicalRepresentationWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/GraphicalRepresentationWriter.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/BddEdgeStyleMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/BddEdgeStyleMapper.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/BddGraphicalGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/BddGraphicalGenerator.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/BddLabelMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/BddLabelMapper.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/BddMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/BddMapper.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/BddNodeStyleMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/BddNodeStyleMapper.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/EdgeStyleMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/EdgeStyleMapper.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/FormulaAstGraphicalGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/FormulaAstGraphicalGenerator.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/FormulaDagGraphicalGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/FormulaDagGraphicalGenerator.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/GraphGraphicalGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/GraphGraphicalGenerator.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/GraphicalGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/GraphicalGenerator.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/GraphicalGeneratorBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/GraphicalGeneratorBuilder.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/LabelMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/LabelMapper.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/graphical/generators/NodeStyleMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/graphical/generators/NodeStyleMapper.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/readers/DimacsReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/readers/DimacsReader.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/writers/FormulaDimacsFileWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/writers/FormulaDimacsFileWriter.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/writers/FormulaDotFileWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/writers/FormulaDotFileWriter.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/io/writers/FormulaWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/io/writers/FormulaWriter.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/BDD.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/BDD.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/BDDFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/BDDFactory.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/datastructures/BDDConstant.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/datastructures/BDDConstant.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/datastructures/BDDNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/datastructures/BDDNode.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/functions/BDDFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/functions/BDDFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/io/BDDDotFileWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/io/BDDDotFileWriter.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDCache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDCache.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDCacheEntry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDCacheEntry.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDConstruction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDConstruction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDKernel.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDKernel.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDOperations.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDOperations.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDPrime.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDPrime.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDReordering.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDReordering.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDTree.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDTree.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/orderings/BFSOrdering.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/orderings/BFSOrdering.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/orderings/DFSOrdering.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/orderings/DFSOrdering.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/bdds/orderings/ForceOrdering.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/bdds/orderings/ForceOrdering.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/dnnf/DnnfCompiler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/dnnf/DnnfCompiler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/dnnf/DnnfFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/dnnf/DnnfFactory.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/dnnf/DnnfMiniSatStyleSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/dnnf/DnnfMiniSatStyleSolver.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/dnnf/DnnfSatSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/dnnf/DnnfSatSolver.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/dnnf/datastructures/Dnnf.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/dnnf/datastructures/Dnnf.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/knowledgecompilation/dnnf/functions/DnnfFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/knowledgecompilation/dnnf/functions/DnnfFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/modelcounting/ModelCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/modelcounting/ModelCounter.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/np/SetCover.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/np/SetCover.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/predicates/AIGPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/predicates/AIGPredicate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/predicates/CNFPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/predicates/CNFPredicate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/predicates/ContainsPBCPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/predicates/ContainsPBCPredicate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/predicates/DNFPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/predicates/DNFPredicate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/predicates/EvaluatesToConstantPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/predicates/EvaluatesToConstantPredicate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/predicates/NNFPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/predicates/NNFPredicate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/predicates/TermPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/predicates/TermPredicate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/predicates/satisfiability/ContingencyPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/predicates/satisfiability/ContingencyPredicate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/predicates/satisfiability/ContradictionPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/predicates/satisfiability/ContradictionPredicate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/predicates/satisfiability/SATPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/predicates/satisfiability/SATPredicate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/predicates/satisfiability/TautologyPredicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/predicates/satisfiability/TautologyPredicate.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/primecomputation/NaivePrimeReduction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/primecomputation/NaivePrimeReduction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/primecomputation/PrimeCompiler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/primecomputation/PrimeCompiler.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/primecomputation/PrimeResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/primecomputation/PrimeResult.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/propositions/ExtendedProposition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/propositions/ExtendedProposition.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/propositions/Proposition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/propositions/Proposition.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/propositions/PropositionBackpack.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/propositions/PropositionBackpack.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/propositions/StandardProposition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/propositions/StandardProposition.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/pseudobooleans/PBAdderNetworks.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/pseudobooleans/PBAdderNetworks.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/pseudobooleans/PBBinaryMerge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/pseudobooleans/PBBinaryMerge.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/pseudobooleans/PBConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/pseudobooleans/PBConfig.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/pseudobooleans/PBEncoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/pseudobooleans/PBEncoder.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/pseudobooleans/PBEncoding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/pseudobooleans/PBEncoding.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/pseudobooleans/PBSWC.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/pseudobooleans/PBSWC.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/MaxSATSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/MaxSATSolver.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/MiniSat.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/MiniSat.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/SATSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/SATSolver.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/SolverState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/SolverState.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/datastructures/LNGBoundedIntQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/datastructures/LNGBoundedIntQueue.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/datastructures/LNGBoundedLongQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/datastructures/LNGBoundedLongQueue.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/datastructures/LNGHeap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/datastructures/LNGHeap.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/datastructures/MSClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/datastructures/MSClause.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/datastructures/MSHardClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/datastructures/MSHardClause.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/datastructures/MSSoftClause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/datastructures/MSSoftClause.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/datastructures/MSVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/datastructures/MSVariable.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/datastructures/MSWatcher.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/datastructures/MSWatcher.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/functions/BackboneFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/functions/BackboneFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/functions/FormulaOnSolverFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/functions/FormulaOnSolverFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/functions/ModelEnumerationFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/functions/ModelEnumerationFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/functions/OptimizationFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/functions/OptimizationFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/functions/SolverFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/functions/SolverFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/functions/UnsatCoreFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/functions/UnsatCoreFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/functions/UpZeroLiteralsFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/functions/UpZeroLiteralsFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/OptimizationConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/OptimizationConfig.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/algorithms/IncWBO.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/algorithms/IncWBO.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/algorithms/LinearSU.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/algorithms/LinearSU.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/algorithms/LinearUS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/algorithms/LinearUS.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/algorithms/MSU3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/algorithms/MSU3.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/algorithms/MaxSAT.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/algorithms/MaxSAT.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/algorithms/MaxSATConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/algorithms/MaxSATConfig.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/algorithms/OLL.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/algorithms/OLL.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/algorithms/WBO.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/algorithms/WBO.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/algorithms/WMSU3.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/algorithms/WMSU3.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/encodings/Encoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/encodings/Encoder.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/encodings/Encoding.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/encodings/Encoding.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/encodings/Ladder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/encodings/Ladder.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/encodings/ModularTotalizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/encodings/ModularTotalizer.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/encodings/SequentialWeightCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/encodings/SequentialWeightCounter.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/maxsat/encodings/Totalizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/maxsat/encodings/Totalizer.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/sat/GlucoseConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/sat/GlucoseConfig.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/sat/GlucoseSyrup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/sat/GlucoseSyrup.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/sat/MiniCard.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/sat/MiniCard.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/sat/MiniSat2Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/sat/MiniSat2Solver.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/sat/MiniSatConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/sat/MiniSatConfig.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/solvers/sat/MiniSatStyleSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/solvers/sat/MiniSatStyleSolver.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/AIGTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/AIGTransformation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/Anonymizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/Anonymizer.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/BDDNormalFormTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/BDDNormalFormTransformation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/CanonicalEnumeration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/CanonicalEnumeration.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/FormulaFactoryImporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/FormulaFactoryImporter.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/LiteralSubstitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/LiteralSubstitution.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/NNFTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/NNFTransformation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/PureExpansionTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/PureExpansionTransformation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/Subsumption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/Subsumption.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/UnitPropagation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/UnitPropagation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/cnf/BDDCNFTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/cnf/BDDCNFTransformation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/cnf/CNFConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/cnf/CNFConfig.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/cnf/CNFEncoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/cnf/CNFEncoder.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/cnf/CNFFactorization.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/cnf/CNFFactorization.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/cnf/CNFSubsumption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/cnf/CNFSubsumption.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/cnf/CanonicalCNFEnumeration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/cnf/CanonicalCNFEnumeration.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/cnf/TseitinTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/cnf/TseitinTransformation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/dnf/BDDDNFTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/dnf/BDDDNFTransformation.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/dnf/CanonicalDNFEnumeration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/dnf/CanonicalDNFEnumeration.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/dnf/DNFFactorization.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/dnf/DNFFactorization.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/dnf/DNFSubsumption.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/dnf/DNFSubsumption.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/qe/UniversalQuantifierElimination.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/qe/UniversalQuantifierElimination.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/qmc/QuineMcCluskeyAlgorithm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/qmc/QuineMcCluskeyAlgorithm.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/qmc/Term.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/qmc/Term.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/qmc/TermTable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/qmc/TermTable.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/simplification/AdvancedSimplifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/simplification/AdvancedSimplifier.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/simplification/BackboneSimplifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/simplification/BackboneSimplifier.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/simplification/NegationSimplifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/simplification/NegationSimplifier.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/transformations/simplification/RatingFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/transformations/simplification/RatingFunction.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/util/CollectionHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/util/CollectionHelper.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/util/ComparablePair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/util/ComparablePair.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/util/FormulaCornerCases.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/util/FormulaCornerCases.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/util/FormulaHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/util/FormulaHelper.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/util/FormulaRandomizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/util/FormulaRandomizer.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/util/FormulaRandomizerConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/util/FormulaRandomizerConfig.java -------------------------------------------------------------------------------- /src/main/java/org/logicng/util/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/main/java/org/logicng/util/Pair.java -------------------------------------------------------------------------------- /src/main/resources/org/logicng/version.txt: -------------------------------------------------------------------------------- 1 | ${project.version} 2 | -------------------------------------------------------------------------------- /src/test/antlr/LogicNGPropositional.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/antlr/LogicNGPropositional.g4 -------------------------------------------------------------------------------- /src/test/antlr/LogicNGPseudoBoolean.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/antlr/LogicNGPseudoBoolean.g4 -------------------------------------------------------------------------------- /src/test/java/org/logicng/LogicNGTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/LogicNGTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/LogicNGVersionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/LogicNGVersionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/LongRunningTag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/LongRunningTag.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/RandomTag.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/RandomTag.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/TestWithExampleFormulas.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/TestWithExampleFormulas.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/backbones/BackboneGenerationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/backbones/BackboneGenerationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/backbones/BackboneTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/backbones/BackboneTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/cardinalityconstraints/CCALKTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/cardinalityconstraints/CCALKTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/cardinalityconstraints/CCAMKTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/cardinalityconstraints/CCAMKTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/cardinalityconstraints/CCAMOTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/cardinalityconstraints/CCAMOTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/cardinalityconstraints/CCEXKTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/cardinalityconstraints/CCEXKTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/cardinalityconstraints/CCEXOTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/cardinalityconstraints/CCEXOTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/cardinalityconstraints/CCIncrementalFormulaTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/cardinalityconstraints/CCIncrementalFormulaTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/cardinalityconstraints/CCIncrementalSolverTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/cardinalityconstraints/CCIncrementalSolverTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/cardinalityconstraints/CCPerformanceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/cardinalityconstraints/CCPerformanceTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/collections/LNGBooleanVectorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/collections/LNGBooleanVectorTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/collections/LNGByteVectorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/collections/LNGByteVectorTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/collections/LNGDoublePriorityQueueTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/collections/LNGDoublePriorityQueueTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/collections/LNGDoubleVectorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/collections/LNGDoubleVectorTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/collections/LNGIntVectorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/collections/LNGIntVectorTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/collections/LNGLongPriorityQueueTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/collections/LNGLongPriorityQueueTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/collections/LNGLongVectorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/collections/LNGLongVectorTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/collections/LNGVectorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/collections/LNGVectorTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/configurations/ConfigurationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/configurations/ConfigurationsTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/datastructures/AssignmentTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/datastructures/AssignmentTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/datastructures/DatastructuresTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/datastructures/DatastructuresTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/datastructures/ubtrees/UBNodeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/datastructures/ubtrees/UBNodeTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/datastructures/ubtrees/UBTreeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/datastructures/ubtrees/UBTreeTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/explanations/UNSATCoreTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/explanations/UNSATCoreTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/explanations/drup/DRUPTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/explanations/drup/DRUPTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/explanations/mus/MUSConfigTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/explanations/mus/MUSConfigTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/explanations/mus/MUSGenerationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/explanations/mus/MUSGenerationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/explanations/smus/SmusComputationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/explanations/smus/SmusComputationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/AndTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/AndTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/CFalseTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/CFalseTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/CTrueTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/CTrueTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/CacheTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/CacheTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/EquivalenceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/EquivalenceTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/EvaluationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/EvaluationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/ExtendedFormulaFactoryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/ExtendedFormulaFactoryTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/FTypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/FTypeTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/FormulaFactoryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/FormulaFactoryTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/FormulaIteratorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/FormulaIteratorTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/FormulaMergeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/FormulaMergeTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/FormulaTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/FormulaTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/ImplicationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/ImplicationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/LiteralTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/LiteralTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/NNFTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/NNFTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/NotTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/NotTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/OrTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/OrTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/PBConstraintTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/PBConstraintTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/RestrictionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/RestrictionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/SubstitutionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/SubstitutionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/printer/DefaultStringRepresentationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/printer/DefaultStringRepresentationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/printer/LatexStringRepresentationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/printer/LatexStringRepresentationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/printer/SortedStringRepresentationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/printer/SortedStringRepresentationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/formulas/printer/UTF8StringRepresentationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/formulas/printer/UTF8StringRepresentationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/functions/FormulaDepthFunctionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/functions/FormulaDepthFunctionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/functions/LiteralProfileTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/functions/LiteralProfileTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/functions/MinimumPrimeImplicantTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/functions/MinimumPrimeImplicantTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/functions/SubformulaTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/functions/SubformulaTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/functions/VariableProfileTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/functions/VariableProfileTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/graphs/algorithms/BronKerboschTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/graphs/algorithms/BronKerboschTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/graphs/algorithms/ConnectedComponentsComputerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/graphs/algorithms/ConnectedComponentsComputerTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/graphs/datastructures/GraphTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/graphs/datastructures/GraphTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/graphs/datastructures/HypergraphEdgeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/graphs/datastructures/HypergraphEdgeTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/graphs/datastructures/HypergraphNodeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/graphs/datastructures/HypergraphNodeTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/graphs/datastructures/HypergraphTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/graphs/datastructures/HypergraphTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/graphs/generators/ConstraintGraphGeneratorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/graphs/generators/ConstraintGraphGeneratorTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/graphs/generators/HypergraphGeneratorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/graphs/generators/HypergraphGeneratorTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/graphs/io/GraphDimacsFileWriterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/graphs/io/GraphDimacsFileWriterTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/graphs/io/conditions/ContainsCondition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/graphs/io/conditions/ContainsCondition.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/handlers/BoundedOptimizationHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/handlers/BoundedOptimizationHandler.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/handlers/BoundedSatHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/handlers/BoundedSatHandler.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/handlers/NumberOfNodesBDDHandlerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/handlers/NumberOfNodesBDDHandlerTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/handlers/TimeoutBDDHandlerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/handlers/TimeoutBDDHandlerTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/handlers/TimeoutMaxSATHandlerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/handlers/TimeoutMaxSATHandlerTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/handlers/TimeoutModelEnumerationHandlerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/handlers/TimeoutModelEnumerationHandlerTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/handlers/TimeoutOptimizationHandlerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/handlers/TimeoutOptimizationHandlerTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/handlers/TimeoutSATHandlerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/handlers/TimeoutSATHandlerTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/handlers/TimerTypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/handlers/TimerTypeTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/FormulaWriterReaderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/FormulaWriterReaderTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/graphical/GraphicalEdgeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/graphical/GraphicalEdgeTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/graphical/GraphicalNodeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/graphical/GraphicalNodeTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/graphical/generators/BddGraphicalGeneratorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/graphical/generators/BddGraphicalGeneratorTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/parsers/FormulaParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/parsers/FormulaParser.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/parsers/LexerException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/parsers/LexerException.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/parsers/ParserException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/parsers/ParserException.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/parsers/ParserWithFormula.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/parsers/ParserWithFormula.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/parsers/PropositionalLexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/parsers/PropositionalLexer.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/parsers/PropositionalParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/parsers/PropositionalParser.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/parsers/PseudoBooleanLexer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/parsers/PseudoBooleanLexer.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/parsers/PseudoBooleanParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/parsers/PseudoBooleanParser.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/readers/DimacsReaderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/readers/DimacsReaderTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/readers/FormulaReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/readers/FormulaReader.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/io/writers/FormulaDimacsFileWriterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/io/writers/FormulaDimacsFileWriterTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/knowledgecompilation/bdds/BDDConstructionTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/knowledgecompilation/bdds/BDDConstructionTests.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/knowledgecompilation/bdds/BDDLowLevelTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/knowledgecompilation/bdds/BDDLowLevelTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/knowledgecompilation/bdds/BDDModelEnumerationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/knowledgecompilation/bdds/BDDModelEnumerationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/knowledgecompilation/bdds/BDDOperationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/knowledgecompilation/bdds/BDDOperationsTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/knowledgecompilation/bdds/BDDReorderingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/knowledgecompilation/bdds/BDDReorderingTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/knowledgecompilation/bdds/FormulaBDDTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/knowledgecompilation/bdds/FormulaBDDTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/knowledgecompilation/bdds/LargeBDDTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/knowledgecompilation/bdds/LargeBDDTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/knowledgecompilation/bdds/SimpleBDDTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/knowledgecompilation/bdds/SimpleBDDTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDPrimeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDPrimeTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDVerification.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/knowledgecompilation/bdds/jbuddy/BDDVerification.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/knowledgecompilation/dnnf/DnnfCompilerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/knowledgecompilation/dnnf/DnnfCompilerTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/modelcounting/ModelCounterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/modelcounting/ModelCounterTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/np/SetCoverTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/np/SetCoverTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/predicates/CNFPredicateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/predicates/CNFPredicateTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/predicates/ContainsPBCPredicateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/predicates/ContainsPBCPredicateTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/predicates/DNFPredicateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/predicates/DNFPredicateTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/predicates/EvaluatesToConstantPredicateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/predicates/EvaluatesToConstantPredicateTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/predicates/NNFPredicateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/predicates/NNFPredicateTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/predicates/TermPredicateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/predicates/TermPredicateTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/predicates/satisfiability/PredicatesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/predicates/satisfiability/PredicatesTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/primecomputation/PrimeCompilerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/primecomputation/PrimeCompilerTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/primecomputation/PrimeImplicantReductionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/primecomputation/PrimeImplicantReductionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/primecomputation/PrimeImplicateReductionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/primecomputation/PrimeImplicateReductionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/primecomputation/PrimeResultTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/primecomputation/PrimeResultTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/propositions/ExtendedPropositionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/propositions/ExtendedPropositionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/propositions/StandardPropositionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/propositions/StandardPropositionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/pseudobooleans/PBEncoderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/pseudobooleans/PBEncoderTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/pseudobooleans/PBSolvingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/pseudobooleans/PBSolvingTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/ModelTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/ModelTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/datastructures/LNGHeapTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/datastructures/LNGHeapTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/datastructures/SolversDatastructuresTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/datastructures/SolversDatastructuresTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/functions/BackboneFunctionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/functions/BackboneFunctionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/functions/ModelEnumerationFunctionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/functions/ModelEnumerationFunctionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/functions/OptimizationFunctionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/functions/OptimizationFunctionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/functions/UnsatCoreFunctionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/functions/UnsatCoreFunctionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/maxsat/MaxSATClassTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/maxsat/MaxSATClassTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/maxsat/MaxSATReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/maxsat/MaxSATReader.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/maxsat/MaxSatLongRunningTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/maxsat/MaxSatLongRunningTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/maxsat/PartialMaxSATTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/maxsat/PartialMaxSATTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/maxsat/PartialWeightedMaxSATTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/maxsat/PartialWeightedMaxSATTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/maxsat/PureMaxSATTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/maxsat/PureMaxSATTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/maxsat/encodings/EncodingsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/maxsat/encodings/EncodingsTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/sat/AssumeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/sat/AssumeTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/sat/ConfigurationsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/sat/ConfigurationsTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/sat/GlucoseSyrupTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/sat/GlucoseSyrupTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/sat/IncDecTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/sat/IncDecTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/sat/MiniCardTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/sat/MiniCardTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/sat/MiniSatTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/sat/MiniSatTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/solvers/sat/SATTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/solvers/sat/SATTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/testutils/NQueensGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/testutils/NQueensGenerator.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/testutils/PigeonHoleGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/testutils/PigeonHoleGenerator.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/testutils/TestUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/testutils/TestUtil.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/AIGTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/AIGTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/AnonymizerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/AnonymizerTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/FormulaFactoryImporterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/FormulaFactoryImporterTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/LiteralSubstitutionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/LiteralSubstitutionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/PureExpansionTransformationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/PureExpansionTransformationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/UnitPropagationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/UnitPropagationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/cnf/BDDCNFTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/cnf/BDDCNFTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/cnf/CNFEncoderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/cnf/CNFEncoderTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/cnf/CNFSubsumptionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/cnf/CNFSubsumptionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/cnf/CNFTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/cnf/CNFTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/cnf/CanonicalCNFEnumerationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/cnf/CanonicalCNFEnumerationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/cnf/CnfMethodComparisonTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/cnf/CnfMethodComparisonTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/cnf/PlaistedGreenbaumTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/cnf/PlaistedGreenbaumTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/cnf/TseitinTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/cnf/TseitinTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/dnf/BDDDNFTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/dnf/BDDDNFTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/dnf/CanonicalDNFEnumerationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/dnf/CanonicalDNFEnumerationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/dnf/DNFFactorizationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/dnf/DNFFactorizationTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/dnf/DNFSubsumptionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/dnf/DNFSubsumptionTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/qe/QETest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/qe/QETest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/qmc/QuineMcCluskeyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/qmc/QuineMcCluskeyTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/qmc/TermTableTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/qmc/TermTableTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/transformations/qmc/TermTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/transformations/qmc/TermTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/util/CollectionHelperTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/util/CollectionHelperTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/util/ComparablePairTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/util/ComparablePairTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/util/FormulaHelperTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/util/FormulaHelperTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/util/FormulaRandomizerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/util/FormulaRandomizerTest.java -------------------------------------------------------------------------------- /src/test/java/org/logicng/util/PairTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/java/org/logicng/util/PairTest.java -------------------------------------------------------------------------------- /src/test/resources/backbones/backbone_large_formula.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/backbones/backbone_large_formula.txt -------------------------------------------------------------------------------- /src/test/resources/backbones/backbone_small_formulas.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/backbones/backbone_small_formulas.txt -------------------------------------------------------------------------------- /src/test/resources/dimacs/malformed/contains-line-without-zero.cnf: -------------------------------------------------------------------------------- 1 | 1 2 0 2 | 2 -3 3 | 3 0 4 | -------------------------------------------------------------------------------- /src/test/resources/dnnf/both_bdd_dnnf_1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/dnnf/both_bdd_dnnf_1.cnf -------------------------------------------------------------------------------- /src/test/resources/dnnf/both_bdd_dnnf_2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/dnnf/both_bdd_dnnf_2.cnf -------------------------------------------------------------------------------- /src/test/resources/dnnf/both_bdd_dnnf_3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/dnnf/both_bdd_dnnf_3.cnf -------------------------------------------------------------------------------- /src/test/resources/dnnf/both_bdd_dnnf_4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/dnnf/both_bdd_dnnf_4.cnf -------------------------------------------------------------------------------- /src/test/resources/dnnf/both_bdd_dnnf_5.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/dnnf/both_bdd_dnnf_5.cnf -------------------------------------------------------------------------------- /src/test/resources/drup/avg_input.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/drup/avg_input.cnf -------------------------------------------------------------------------------- /src/test/resources/drup/pg4_input.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/drup/pg4_input.cnf -------------------------------------------------------------------------------- /src/test/resources/drup/simple_input.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/drup/simple_input.cnf -------------------------------------------------------------------------------- /src/test/resources/formulas/formula1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/formulas/formula1.txt -------------------------------------------------------------------------------- /src/test/resources/formulas/formula2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/formulas/formula2.txt -------------------------------------------------------------------------------- /src/test/resources/formulas/formula3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/formulas/formula3.txt -------------------------------------------------------------------------------- /src/test/resources/formulas/large_formula.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/formulas/large_formula.txt -------------------------------------------------------------------------------- /src/test/resources/formulas/simplify_formulas.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/formulas/simplify_formulas.txt -------------------------------------------------------------------------------- /src/test/resources/formulas/small_formulas.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/formulas/small_formulas.txt -------------------------------------------------------------------------------- /src/test/resources/graphs/graph30.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/graph30.txt -------------------------------------------------------------------------------- /src/test/resources/graphs/graph50.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/graph50.txt -------------------------------------------------------------------------------- /src/test/resources/graphs/io/graphs-dimacs/30_f.col: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/io/graphs-dimacs/30_f.col -------------------------------------------------------------------------------- /src/test/resources/graphs/io/graphs-dimacs/30_t.col: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/io/graphs-dimacs/30_t.col -------------------------------------------------------------------------------- /src/test/resources/graphs/io/graphs-dimacs/30_t.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/io/graphs-dimacs/30_t.map -------------------------------------------------------------------------------- /src/test/resources/graphs/io/graphs-dimacs/50p1_f.col: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/io/graphs-dimacs/50p1_f.col -------------------------------------------------------------------------------- /src/test/resources/graphs/io/graphs-dimacs/50p1_t.col: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/io/graphs-dimacs/50p1_t.col -------------------------------------------------------------------------------- /src/test/resources/graphs/io/graphs-dimacs/50p1_t.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/io/graphs-dimacs/50p1_t.map -------------------------------------------------------------------------------- /src/test/resources/graphs/io/graphs-dimacs/small_f.col: -------------------------------------------------------------------------------- 1 | p edge 3 1 2 | e 1 2 3 | -------------------------------------------------------------------------------- /src/test/resources/graphs/io/graphs-dimacs/small_t.col: -------------------------------------------------------------------------------- 1 | p edge 3 1 2 | e 1 2 3 | -------------------------------------------------------------------------------- /src/test/resources/graphs/io/graphs-dimacs/small_t.map: -------------------------------------------------------------------------------- 1 | A;1 2 | B;2 3 | C;3 4 | -------------------------------------------------------------------------------- /src/test/resources/graphs/io/temp/.empty: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/test/resources/graphs/io/temp/30_f.col: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/io/temp/30_f.col -------------------------------------------------------------------------------- /src/test/resources/graphs/io/temp/30_t.col: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/io/temp/30_t.col -------------------------------------------------------------------------------- /src/test/resources/graphs/io/temp/30_t.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/io/temp/30_t.map -------------------------------------------------------------------------------- /src/test/resources/graphs/io/temp/50p1_f.col: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/io/temp/50p1_f.col -------------------------------------------------------------------------------- /src/test/resources/graphs/io/temp/50p1_t.col: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/io/temp/50p1_t.col -------------------------------------------------------------------------------- /src/test/resources/graphs/io/temp/50p1_t.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/graphs/io/temp/50p1_t.map -------------------------------------------------------------------------------- /src/test/resources/graphs/io/temp/small_f.col: -------------------------------------------------------------------------------- 1 | p edge 3 1 2 | e 1 2 3 | -------------------------------------------------------------------------------- /src/test/resources/graphs/io/temp/small_t.col: -------------------------------------------------------------------------------- 1 | p edge 3 1 2 | e 1 2 3 | -------------------------------------------------------------------------------- /src/test/resources/graphs/io/temp/small_t.map: -------------------------------------------------------------------------------- 1 | A;1 2 | B;2 3 | C;3 4 | -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/file_rwms_wcnf_L2_V100_C300_0.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/file_rwms_wcnf_L2_V100_C300_0.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_0.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_0.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_1.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_2.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_2.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_3.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_3.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_4.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_4.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_5.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_5.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_6.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_6.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_7.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_7.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_8.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_8.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_9.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/file_rwms_wcnf_L3_V70_C300_9.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb10-6-1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb10-6-1.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb10-6-2.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb10-6-2.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb10-6-3.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb10-6-3.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb10-6-4.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb10-6-4.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb15-9-1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb15-9-1.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb15-9-2.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb15-9-2.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb15-9-3.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb15-9-3.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb15-9-4.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb15-9-4.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb15-9-5.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb15-9-5.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb20-11-1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb20-11-1.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb20-11-2.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb20-11-2.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb20-11-3.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb20-11-3.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb20-11-4.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb20-11-4.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb20-11-5.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb20-11-5.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb25-13-1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb25-13-1.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb25-13-2.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb25-13-2.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb25-13-3.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb25-13-3.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb25-13-4.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb25-13-4.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/frb25-13-5.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/frb25-13-5.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/ram_k3_n4.ra1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/ram_k3_n4.ra1.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/ram_k3_n5.ra1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/ram_k3_n5.ra1.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/ram_k3_n6.ra1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/ram_k3_n6.ra1.wcnf -------------------------------------------------------------------------------- /src/test/resources/longrunning/wms/result.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/longrunning/wms/result.txt -------------------------------------------------------------------------------- /src/test/resources/maxsat/c-fat200-2.clq.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/maxsat/c-fat200-2.clq.cnf -------------------------------------------------------------------------------- /src/test/resources/maxsat/c5315-bug-gate-0.dimacs.seq.filtered.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/maxsat/c5315-bug-gate-0.dimacs.seq.filtered.cnf -------------------------------------------------------------------------------- /src/test/resources/maxsat/c6288-bug-gate-0.dimacs.seq.filtered.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/maxsat/c6288-bug-gate-0.dimacs.seq.filtered.cnf -------------------------------------------------------------------------------- /src/test/resources/maxsat/c7552-bug-gate-0.dimacs.seq.filtered.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/maxsat/c7552-bug-gate-0.dimacs.seq.filtered.cnf -------------------------------------------------------------------------------- /src/test/resources/maxsat/mot_comb1._red-gate-0.dimacs.seq.filtered.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/maxsat/mot_comb1._red-gate-0.dimacs.seq.filtered.cnf -------------------------------------------------------------------------------- /src/test/resources/maxsat/mot_comb2._red-gate-0.dimacs.seq.filtered.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/maxsat/mot_comb2._red-gate-0.dimacs.seq.filtered.cnf -------------------------------------------------------------------------------- /src/test/resources/maxsat/mot_comb3._red-gate-0.dimacs.seq.filtered.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/maxsat/mot_comb3._red-gate-0.dimacs.seq.filtered.cnf -------------------------------------------------------------------------------- /src/test/resources/maxsat/s15850-bug-onevec-gate-0.dimacs.seq.filtered.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/maxsat/s15850-bug-onevec-gate-0.dimacs.seq.filtered.cnf -------------------------------------------------------------------------------- /src/test/resources/partialmaxsat/c1355_F1001gat-1048gat@1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialmaxsat/c1355_F1001gat-1048gat@1.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialmaxsat/c1355_F1183gat-1262gat@1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialmaxsat/c1355_F1183gat-1262gat@1.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialmaxsat/c1355_F1229gat@1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialmaxsat/c1355_F1229gat@1.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialmaxsat/c1355_F176gat-1278gat@1.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialmaxsat/c1355_F176gat-1278gat@1.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialmaxsat/normalized-s3-3-3-1pb.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialmaxsat/normalized-s3-3-3-1pb.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialmaxsat/normalized-s3-3-3-2pb.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialmaxsat/normalized-s3-3-3-2pb.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialmaxsat/normalized-s3-3-3-3pb.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialmaxsat/normalized-s3-3-3-3pb.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialmaxsat/term1_gr_2pin_w4.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialmaxsat/term1_gr_2pin_w4.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/partialweightedmaxsat/404.wcsp.log.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialweightedmaxsat/404.wcsp.log.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialweightedmaxsat/54.wcsp.log.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialweightedmaxsat/54.wcsp.log.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialweightedmaxsat/8.wcsp.log.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialweightedmaxsat/8.wcsp.log.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialweightedmaxsat/large/large_industrial.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialweightedmaxsat/large/large_industrial.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialweightedmaxsat/large/large_weights.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialweightedmaxsat/large/large_weights.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialweightedmaxsat/large/t3g3-5555.spn.wcnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialweightedmaxsat/large/t3g3-5555.spn.wcnf -------------------------------------------------------------------------------- /src/test/resources/partialweightedmaxsat/term1_gr_2pin_w4.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/partialweightedmaxsat/term1_gr_2pin_w4.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/3col40_5_10.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/3col40_5_10.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/9symml_gr_rcs_w5.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/9symml_gr_rcs_w5.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/9symml_gr_rcs_w6.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/9symml_gr_rcs_w6.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/D1119_M23.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/D1119_M23.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/apex7_gr_rcs_w5.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/apex7_gr_rcs_w5.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/avg-checker-4-23.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/avg-checker-4-23.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/bart30.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/bart30.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/c499_gr_rcs_w6.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/c499_gr_rcs_w6.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/ca032.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/ca032.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/ca064.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/ca064.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/ca128.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/ca128.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/dp02s02.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/dp02s02.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/example2_gr_rcs_w6.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/example2_gr_rcs_w6.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/grid_10_20.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/grid_10_20.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/med19.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/med19.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/results.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/results.txt -------------------------------------------------------------------------------- /src/test/resources/sat/term1_gr_rcs_w3.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/term1_gr_rcs_w3.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/term1_gr_rcs_w4.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/term1_gr_rcs_w4.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/too_large_gr_rcs_w5.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/too_large_gr_rcs_w5.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/too_large_gr_rcs_w6.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/too_large_gr_rcs_w6.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-100-1_6-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-100-1_6-no-1.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-100-1_6-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-100-1_6-no-2.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-100-1_6-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-100-1_6-no-3.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-100-1_6-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-100-1_6-no-4.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-100-2_0-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-100-2_0-no-1.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-100-2_0-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-100-2_0-no-2.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-100-2_0-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-100-2_0-no-3.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-100-2_0-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-100-2_0-no-4.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-200-1_6-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-200-1_6-no-1.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-200-1_6-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-200-1_6-no-2.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-200-1_6-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-200-1_6-no-3.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-200-1_6-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-200-1_6-no-4.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-200-2_0-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-200-2_0-no-1.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-200-2_0-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-200-2_0-no-2.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-200-2_0-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-200-2_0-no-3.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-200-2_0-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-200-2_0-no-4.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-50-1_6-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-50-1_6-no-1.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-50-1_6-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-50-1_6-no-2.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-50-1_6-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-50-1_6-no-3.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-50-1_6-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-50-1_6-no-4.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-50-2_0-no-1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-50-2_0-no-1.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-50-2_0-no-2.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-50-2_0-no-2.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-50-2_0-no-3.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-50-2_0-no-3.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/aim-50-2_0-no-4.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/aim-50-2_0-no-4.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/bf0432-007.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/bf0432-007.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/bf1355-075.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/bf1355-075.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/bf1355-638.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/bf1355-638.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/bf2670-001.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/bf2670-001.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/pret150_25.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/pret150_25.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/pret150_40.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/pret150_40.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/pret150_60.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/pret150_60.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/pret150_75.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/pret150_75.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/pret60_25.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/pret60_25.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/pret60_40.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/pret60_40.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/pret60_60.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/pret60_60.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/unsat/pret60_75.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/unsat/pret60_75.cnf -------------------------------------------------------------------------------- /src/test/resources/sat/x1_16.shuffled.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/sat/x1_16.shuffled.cnf -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/a_bdd.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/a_bdd.dot -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/a_bdd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/a_bdd.txt -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/and_bdd.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/and_bdd.dot -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/and_bdd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/and_bdd.txt -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/equiv_bdd.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/equiv_bdd.dot -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/equiv_bdd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/equiv_bdd.txt -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/false_bdd.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/false_bdd.dot -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/false_bdd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/false_bdd.txt -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/formula-dynamic_bdd.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/formula-dynamic_bdd.dot -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/formula-dynamic_bdd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/formula-dynamic_bdd.txt -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/formula-fixedStyle_bdd.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/formula-fixedStyle_bdd.dot -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/formula-fixedStyle_bdd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/formula-fixedStyle_bdd.txt -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/formula_bdd.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/formula_bdd.dot -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/formula_bdd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/formula_bdd.txt -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/impl_bdd.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/impl_bdd.dot -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/impl_bdd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/impl_bdd.txt -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/not_a_bdd.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/not_a_bdd.dot -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/not_a_bdd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/not_a_bdd.txt -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/not_bdd.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/not_bdd.dot -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/not_bdd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/not_bdd.txt -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/or_bdd.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/or_bdd.dot -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/or_bdd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/or_bdd.txt -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/true_bdd.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/true_bdd.dot -------------------------------------------------------------------------------- /src/test/resources/writers/bdd/true_bdd.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/bdd/true_bdd.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f1-ast.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f1-ast.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f1-ast.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f1-ast.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f10-ast.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f10-ast.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f10-ast.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f10-ast.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f2-ast.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f2-ast.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f2-ast.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f2-ast.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f3-ast.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f3-ast.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f3-ast.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f3-ast.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f4-ast.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f4-ast.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f4-ast.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f4-ast.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f5-ast.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f5-ast.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f5-ast.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f5-ast.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f6-ast.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f6-ast.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f6-ast.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f6-ast.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f7-ast.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f7-ast.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f7-ast.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f7-ast.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f8-ast.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f8-ast.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f8-ast.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f8-ast.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f8-ownLabels-ast.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f8-ownLabels-ast.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f8-ownLabels-ast.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f8-ownLabels-ast.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f9-ast.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f9-ast.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/f9-ast.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-ast/f9-ast.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/false-ast.dot: -------------------------------------------------------------------------------- 1 | digraph G { 2 | 3 | id0 [label="$false"] 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/false-ast.txt: -------------------------------------------------------------------------------- 1 | graph TD 2 | id0(["$false"]) 3 | 4 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/not_x-ast.dot: -------------------------------------------------------------------------------- 1 | digraph G { 2 | 3 | id0 [label="¬x"] 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/not_x-ast.txt: -------------------------------------------------------------------------------- 1 | graph TD 2 | id0(["¬x"]) 3 | 4 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/true-ast.dot: -------------------------------------------------------------------------------- 1 | digraph G { 2 | 3 | id0 [label="$true"] 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/true-ast.txt: -------------------------------------------------------------------------------- 1 | graph TD 2 | id0(["$true"]) 3 | 4 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/x-ast.dot: -------------------------------------------------------------------------------- 1 | digraph G { 2 | 3 | id0 [label="x"] 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-ast/x-ast.txt: -------------------------------------------------------------------------------- 1 | graph TD 2 | id0(["x"]) 3 | 4 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f1.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f1.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f1.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f10.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f10.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f10.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f10.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f2.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f2.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f2.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f2.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f3.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f3.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f3.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f3.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f4.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f4.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f4.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f5.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f5.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f5.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f5.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f6.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f6.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f6.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f6.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f7.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f7.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f7.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f8.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f8.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f8.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f8.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f9.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f9.dot -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/f9.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dag/f9.txt -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/false.dot: -------------------------------------------------------------------------------- 1 | digraph G { 2 | 3 | id0 [label="$false"] 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/false.txt: -------------------------------------------------------------------------------- 1 | graph TD 2 | id0(["$false"]) 3 | 4 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/not_x.dot: -------------------------------------------------------------------------------- 1 | digraph G { 2 | 3 | id0 [label="¬x"] 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/not_x.txt: -------------------------------------------------------------------------------- 1 | graph TD 2 | id0(["¬x"]) 3 | 4 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/true.dot: -------------------------------------------------------------------------------- 1 | digraph G { 2 | 3 | id0 [label="$true"] 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/true.txt: -------------------------------------------------------------------------------- 1 | graph TD 2 | id0(["$true"]) 3 | 4 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/x.dot: -------------------------------------------------------------------------------- 1 | digraph G { 2 | 3 | id0 [label="x"] 4 | 5 | } 6 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dag/x.txt: -------------------------------------------------------------------------------- 1 | graph TD 2 | id0(["x"]) 3 | 4 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f1_f.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dimacs/f1_f.cnf -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f1_t.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dimacs/f1_t.cnf -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f1_t.map: -------------------------------------------------------------------------------- 1 | a;1 2 | b;2 3 | c;3 4 | x;4 5 | z;5 6 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f2_f.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dimacs/f2_f.cnf -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f2_t.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dimacs/f2_t.cnf -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f2_t.map: -------------------------------------------------------------------------------- 1 | a;1 2 | b;2 3 | c;3 4 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f3_f.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dimacs/f3_f.cnf -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f3_t.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dimacs/f3_t.cnf -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f3_t.map: -------------------------------------------------------------------------------- 1 | a;1 2 | b;2 3 | c;3 4 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f4_f.cnf: -------------------------------------------------------------------------------- 1 | p cnf 3 1 2 | -1 -2 -3 0 3 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f4_t.cnf: -------------------------------------------------------------------------------- 1 | p cnf 3 1 2 | -1 -2 -3 0 3 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f4_t.map: -------------------------------------------------------------------------------- 1 | a;1 2 | b;2 3 | c;3 4 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f5_f.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dimacs/f5_f.cnf -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f5_t.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dimacs/f5_t.cnf -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f5_t.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dimacs/f5_t.map -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f6_f.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dimacs/f6_f.cnf -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f6_t.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/formulas-dimacs/f6_t.cnf -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f6_t.map: -------------------------------------------------------------------------------- 1 | a;1 2 | b;2 3 | c;3 4 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f7_f.cnf: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f7_t.cnf: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/f7_t.map: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/false_f.cnf: -------------------------------------------------------------------------------- 1 | p cnf 0 1 2 | 0 3 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/false_t.cnf: -------------------------------------------------------------------------------- 1 | p cnf 0 1 2 | 0 3 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/false_t.map: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/not_x_f.cnf: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | -1 0 3 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/not_x_t.cnf: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | -1 0 3 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/not_x_t.map: -------------------------------------------------------------------------------- 1 | x;1 2 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/true_f.cnf: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/true_t.cnf: -------------------------------------------------------------------------------- 1 | p cnf 0 0 2 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/true_t.map: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/x_f.cnf: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 1 0 3 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/x_t.cnf: -------------------------------------------------------------------------------- 1 | p cnf 1 1 2 | 1 0 3 | -------------------------------------------------------------------------------- /src/test/resources/writers/formulas-dimacs/x_t.map: -------------------------------------------------------------------------------- 1 | x;1 2 | -------------------------------------------------------------------------------- /src/test/resources/writers/graph/30-dynamic.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/graph/30-dynamic.dot -------------------------------------------------------------------------------- /src/test/resources/writers/graph/30-dynamic.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/graph/30-dynamic.txt -------------------------------------------------------------------------------- /src/test/resources/writers/graph/30.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/graph/30.dot -------------------------------------------------------------------------------- /src/test/resources/writers/graph/30.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/graph/30.txt -------------------------------------------------------------------------------- /src/test/resources/writers/graph/50p1.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/graph/50p1.dot -------------------------------------------------------------------------------- /src/test/resources/writers/graph/50p1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/graph/50p1.txt -------------------------------------------------------------------------------- /src/test/resources/writers/graph/small-fixedStyle.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/graph/small-fixedStyle.dot -------------------------------------------------------------------------------- /src/test/resources/writers/graph/small-fixedStyle.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/graph/small-fixedStyle.txt -------------------------------------------------------------------------------- /src/test/resources/writers/graph/small.dot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/graph/small.dot -------------------------------------------------------------------------------- /src/test/resources/writers/graph/small.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/logic-ng/LogicNG/HEAD/src/test/resources/writers/graph/small.txt -------------------------------------------------------------------------------- /src/test/resources/writers/temp/.empty: -------------------------------------------------------------------------------- 1 | --------------------------------------------------------------------------------