├── .codebeatsettings ├── .gitattributes ├── .github └── workflows │ └── build.yml ├── .gitignore ├── AUTHORS ├── CITATION.cff ├── CONTRIBUTING.md ├── CONTRIBUTORS ├── LICENSE ├── README.md ├── RELEASE.md ├── alpha-api ├── .gitignore ├── build.gradle.kts └── src │ └── main │ └── java │ └── at │ └── ac │ └── tuwien │ └── kr │ └── alpha │ └── api │ ├── Alpha.java │ ├── AnswerSet.java │ ├── ComparisonOperator.java │ ├── DebugSolvingContext.java │ ├── Solver.java │ ├── StatisticsReportingSolver.java │ ├── common │ └── fixedinterpretations │ │ ├── BindingPredicateInterpretation.java │ │ └── PredicateInterpretation.java │ ├── config │ ├── AggregateRewritingConfig.java │ ├── AlphaConfig.java │ ├── BinaryNoGoodPropagationEstimationStrategy.java │ ├── GrounderHeuristicsConfiguration.java │ ├── Heuristic.java │ ├── InputConfig.java │ └── SystemConfig.java │ ├── externals │ └── Predicate.java │ ├── grounder │ └── Substitution.java │ ├── mapper │ └── AnswerSetToObjectMapper.java │ ├── programs │ ├── ASPCore2Program.java │ ├── InlineDirectives.java │ ├── NormalProgram.java │ ├── Predicate.java │ ├── Program.java │ ├── ProgramParser.java │ ├── VariableNormalizableAtom.java │ ├── analysis │ │ ├── ComponentGraph.java │ │ └── DependencyGraph.java │ ├── atoms │ │ ├── AggregateAtom.java │ │ ├── Atom.java │ │ ├── AtomQuery.java │ │ ├── BasicAtom.java │ │ ├── ComparisonAtom.java │ │ └── ExternalAtom.java │ ├── literals │ │ ├── AggregateLiteral.java │ │ ├── BasicLiteral.java │ │ ├── ComparisonLiteral.java │ │ ├── ExternalLiteral.java │ │ ├── FixedInterpretationLiteral.java │ │ └── Literal.java │ ├── rules │ │ ├── NormalRule.java │ │ ├── Rule.java │ │ └── heads │ │ │ ├── ChoiceHead.java │ │ │ ├── DisjunctiveHead.java │ │ │ ├── Head.java │ │ │ └── NormalHead.java │ ├── terms │ │ ├── ArithmeticOperator.java │ │ ├── ArithmeticTerm.java │ │ ├── ConstantTerm.java │ │ ├── FunctionTerm.java │ │ ├── IntervalTerm.java │ │ ├── Term.java │ │ └── VariableTerm.java │ └── tests │ │ ├── Assertion.java │ │ ├── TestCase.java │ │ └── TestResult.java │ └── util │ └── AnswerSetFormatter.java ├── alpha-cli-app ├── .gitignore ├── build.gradle.kts └── src │ ├── main │ ├── java │ │ └── at │ │ │ └── ac │ │ │ └── tuwien │ │ │ └── kr │ │ │ └── alpha │ │ │ ├── AnswerSetToXlsxWriter.java │ │ │ ├── Main.java │ │ │ └── app │ │ │ ├── ComponentGraphWriter.java │ │ │ ├── DependencyGraphWriter.java │ │ │ ├── config │ │ │ ├── CliOptionHandler.java │ │ │ └── CommandLineParser.java │ │ │ └── mappers │ │ │ └── AnswerSetToWorkbookMapper.java │ └── resources │ │ └── simplelogger.properties │ └── test │ ├── java │ └── at │ │ └── ac │ │ └── tuwien │ │ └── kr │ │ └── alpha │ │ ├── AnswerSetToXlsxWriterTest.java │ │ ├── MainTest.java │ │ └── app │ │ ├── ComponentGraphWriterTest.java │ │ ├── DependencyGraphWriterTest.java │ │ ├── config │ │ └── CommandLineParserTest.java │ │ └── mappers │ │ └── AnswerSetToWorkbookMapperTest.java │ └── resources │ └── simplelogger.properties ├── alpha-commons ├── .gitignore ├── build.gradle.kts └── src │ ├── main │ └── java │ │ └── at │ │ └── ac │ │ └── tuwien │ │ └── kr │ │ └── alpha │ │ └── commons │ │ ├── AnswerSetBuilder.java │ │ ├── AnswerSets.java │ │ ├── BasicAnswerSet.java │ │ ├── PredicateImpl.java │ │ ├── Predicates.java │ │ ├── comparisons │ │ ├── AbstractComparisonOperator.java │ │ └── ComparisonOperators.java │ │ ├── programs │ │ ├── ASPCore2ProgramImpl.java │ │ ├── AbstractProgram.java │ │ ├── InlineDirectivesImpl.java │ │ ├── NormalProgramImpl.java │ │ ├── Programs.java │ │ ├── atoms │ │ │ ├── AbstractAtom.java │ │ │ ├── AggregateAtomImpl.java │ │ │ ├── AtomQueryImpl.java │ │ │ ├── Atoms.java │ │ │ ├── BasicAtomImpl.java │ │ │ ├── ComparisonAtomImpl.java │ │ │ └── ExternalAtomImpl.java │ │ ├── literals │ │ │ ├── AbstractLiteral.java │ │ │ ├── AggregateLiteralImpl.java │ │ │ ├── BasicLiteralImpl.java │ │ │ ├── ComparisonLiteralImpl.java │ │ │ ├── ExternalLiteralImpl.java │ │ │ └── Literals.java │ │ ├── reification │ │ │ ├── ReificationContext.java │ │ │ └── Reifier.java │ │ ├── rules │ │ │ ├── AbstractRule.java │ │ │ ├── BasicRule.java │ │ │ ├── NormalRuleImpl.java │ │ │ ├── Rules.java │ │ │ └── heads │ │ │ │ ├── ChoiceHeadImpl.java │ │ │ │ ├── DisjunctiveHeadImpl.java │ │ │ │ ├── Heads.java │ │ │ │ └── NormalHeadImpl.java │ │ ├── terms │ │ │ ├── AbstractTerm.java │ │ │ ├── ArithmeticTermImpl.java │ │ │ ├── ConstantTermImpl.java │ │ │ ├── FunctionTermImpl.java │ │ │ ├── IntervalTermImpl.java │ │ │ ├── Terms.java │ │ │ └── VariableTermImpl.java │ │ └── tests │ │ │ ├── AssertionImpl.java │ │ │ ├── TestCaseImpl.java │ │ │ └── Tests.java │ │ ├── substitutions │ │ ├── BasicSubstitution.java │ │ ├── Instance.java │ │ └── Unifier.java │ │ └── util │ │ ├── IdGenerator.java │ │ ├── IntIdGenerator.java │ │ ├── Interner.java │ │ ├── SimpleAnswerSetFormatter.java │ │ └── Util.java │ └── test │ ├── java │ └── at │ │ └── ac │ │ └── tuwien │ │ └── kr │ │ └── alpha │ │ └── commons │ │ ├── BasicAnswerSetTest.java │ │ ├── programs │ │ └── terms │ │ │ ├── TermTest.java │ │ │ ├── TermsTest.java │ │ │ └── TestMinusTerm.java │ │ └── util │ │ ├── AtomQueryTest.java │ │ └── UtilTest.java │ └── resources │ └── simplelogger.properties ├── alpha-core ├── .gitignore ├── benchmarks │ ├── omiga │ │ ├── omiga-testcases.tar.gz │ │ └── omiga-testcases │ │ │ ├── 3col │ │ │ ├── 3col-10-18.txt │ │ │ └── 3col-20-38.txt │ │ │ ├── cutedge │ │ │ ├── cutedge-100-30.txt │ │ │ └── cutedge-100-50.txt │ │ │ ├── locstrat │ │ │ ├── locstrat-200.txt │ │ │ └── locstrat-400.txt │ │ │ └── reach │ │ │ ├── reach-1.txt │ │ │ └── reach-4.txt │ └── siemens │ │ └── racks │ │ └── racks.lp ├── build.gradle.kts └── src │ ├── main │ ├── antlr │ │ └── at │ │ │ └── ac │ │ │ └── tuwien │ │ │ └── kr │ │ │ └── alpha │ │ │ └── core │ │ │ └── antlr │ │ │ ├── ASPCore2.g4 │ │ │ └── ASPLexer.g4 │ ├── java │ │ └── at │ │ │ └── ac │ │ │ └── tuwien │ │ │ └── kr │ │ │ └── alpha │ │ │ └── core │ │ │ ├── common │ │ │ ├── Assignment.java │ │ │ ├── AtomStore.java │ │ │ ├── AtomStoreImpl.java │ │ │ ├── IntIterator.java │ │ │ ├── NoGood.java │ │ │ ├── NoGoodInterface.java │ │ │ ├── Truth.java │ │ │ └── fixedinterpretations │ │ │ │ ├── BinaryPredicateInterpretation.java │ │ │ │ ├── BindingMethodPredicateInterpretation.java │ │ │ │ ├── IntPredicateInterpretation.java │ │ │ │ ├── LongPredicateInterpretation.java │ │ │ │ ├── MethodPredicateInterpretation.java │ │ │ │ ├── NonBindingPredicateInterpretation.java │ │ │ │ ├── SuppliedPredicateInterpretation.java │ │ │ │ └── UnaryPredicateInterpretation.java │ │ │ ├── depgraph │ │ │ ├── ComponentGraphImpl.java │ │ │ ├── DependencyGraphImpl.java │ │ │ ├── DepthFirstSearchAlgorithm.java │ │ │ ├── EdgeImpl.java │ │ │ ├── NodeImpl.java │ │ │ ├── StratificationAlgorithm.java │ │ │ └── StronglyConnectedComponentsAlgorithm.java │ │ │ ├── externals │ │ │ ├── AspStandardLibrary.java │ │ │ └── Externals.java │ │ │ ├── grounder │ │ │ ├── AbstractGrounder.java │ │ │ ├── BridgedGrounder.java │ │ │ ├── ChoiceRecorder.java │ │ │ ├── FactIntervalEvaluator.java │ │ │ ├── FilteringGrounder.java │ │ │ ├── Grounder.java │ │ │ ├── GrounderFactory.java │ │ │ ├── IndexedInstanceStorage.java │ │ │ ├── NaiveGrounder.java │ │ │ ├── NoGoodGenerator.java │ │ │ ├── NogoodRegistry.java │ │ │ ├── ProgramAnalyzingGrounder.java │ │ │ ├── RuleGroundingInfo.java │ │ │ ├── RuleGroundingInfoImpl.java │ │ │ ├── RuleGroundingOrder.java │ │ │ ├── RuleGroundingOrderImpl.java │ │ │ ├── Unification.java │ │ │ ├── WorkingMemory.java │ │ │ ├── bridges │ │ │ │ └── Bridge.java │ │ │ ├── instantiation │ │ │ │ ├── AbstractLiteralInstantiationStrategy.java │ │ │ │ ├── AssignmentStatus.java │ │ │ │ ├── BindingResult.java │ │ │ │ ├── DefaultLazyGroundingInstantiationStrategy.java │ │ │ │ ├── LiteralInstantiationResult.java │ │ │ │ ├── LiteralInstantiationStrategy.java │ │ │ │ ├── LiteralInstantiator.java │ │ │ │ └── WorkingMemoryBasedInstantiationStrategy.java │ │ │ └── structure │ │ │ │ ├── AnalyzeUnjustified.java │ │ │ │ └── LitSet.java │ │ │ ├── parser │ │ │ ├── CustomErrorListener.java │ │ │ ├── ParseTreeVisitor.java │ │ │ ├── ProgramParserImpl.java │ │ │ └── ProgramPartParser.java │ │ │ ├── programs │ │ │ ├── AnalyzedProgram.java │ │ │ ├── CompiledProgram.java │ │ │ ├── InternalProgram.java │ │ │ ├── atoms │ │ │ │ ├── ChoiceAtom.java │ │ │ │ ├── EnumerationAtom.java │ │ │ │ ├── EnumerationLiteral.java │ │ │ │ ├── IntervalAtom.java │ │ │ │ ├── IntervalLiteral.java │ │ │ │ ├── Literals.java │ │ │ │ └── RuleAtom.java │ │ │ ├── rules │ │ │ │ ├── CompiledRule.java │ │ │ │ └── InternalRule.java │ │ │ └── transformation │ │ │ │ ├── ArithmeticTermsRewriting.java │ │ │ │ ├── ChoiceHeadToNormal.java │ │ │ │ ├── EnumerationRewriting.java │ │ │ │ ├── IntervalTermToIntervalAtom.java │ │ │ │ ├── NormalizeProgramTransformation.java │ │ │ │ ├── PredicateInternalizer.java │ │ │ │ ├── ProgramTransformation.java │ │ │ │ ├── StratifiedEvaluation.java │ │ │ │ ├── VariableEqualityRemoval.java │ │ │ │ └── aggregates │ │ │ │ ├── AggregateLiteralSplitting.java │ │ │ │ ├── AggregateOperatorNormalization.java │ │ │ │ ├── AggregateRewriting.java │ │ │ │ ├── AggregateRewritingContext.java │ │ │ │ ├── AggregateRewritingRuleAnalysis.java │ │ │ │ └── encoders │ │ │ │ ├── AbstractAggregateEncoder.java │ │ │ │ ├── CountEncoder.java │ │ │ │ ├── MinMaxEncoder.java │ │ │ │ ├── StringtemplateBasedAggregateEncoder.java │ │ │ │ └── SumEncoder.java │ │ │ └── solver │ │ │ ├── AbstractSolver.java │ │ │ ├── Antecedent.java │ │ │ ├── AtomCounter.java │ │ │ ├── Atoms.java │ │ │ ├── BinaryNoGoodPropagationEstimation.java │ │ │ ├── Checkable.java │ │ │ ├── Choice.java │ │ │ ├── ChoiceInfluenceManager.java │ │ │ ├── ChoiceManager.java │ │ │ ├── ConflictCause.java │ │ │ ├── DefaultSolver.java │ │ │ ├── LearnedNoGoodDeletion.java │ │ │ ├── NaiveNoGoodStore.java │ │ │ ├── NaiveSolver.java │ │ │ ├── NoGoodCounter.java │ │ │ ├── NoGoodStore.java │ │ │ ├── NoGoodStoreAlphaRoaming.java │ │ │ ├── PerformanceLog.java │ │ │ ├── ShallowAntecedent.java │ │ │ ├── SolverFactory.java │ │ │ ├── ThriceTruth.java │ │ │ ├── TrailAssignment.java │ │ │ ├── WatchedNoGood.java │ │ │ ├── WritableAssignment.java │ │ │ ├── heuristics │ │ │ ├── ActivityBasedBranchingHeuristic.java │ │ │ ├── AlphaActiveRuleHeuristic.java │ │ │ ├── AlphaHeadMustBeTrueHeuristic.java │ │ │ ├── AlphaRandomSignHeuristic.java │ │ │ ├── BerkMin.java │ │ │ ├── BerkMinLiteral.java │ │ │ ├── BranchingHeuristic.java │ │ │ ├── BranchingHeuristicFactory.java │ │ │ ├── ChainedBranchingHeuristics.java │ │ │ ├── DependencyDrivenHeuristic.java │ │ │ ├── DependencyDrivenPyroHeuristic.java │ │ │ ├── DependencyDrivenVSIDS.java │ │ │ ├── GeneralizedDependencyDrivenHeuristic.java │ │ │ ├── GeneralizedDependencyDrivenPyroHeuristic.java │ │ │ ├── HeapOfActiveAtoms.java │ │ │ ├── HeapOfActiveChoicePoints.java │ │ │ ├── HeuristicsConfiguration.java │ │ │ ├── HeuristicsConfigurationBuilder.java │ │ │ ├── MOMs.java │ │ │ ├── NaiveHeuristic.java │ │ │ ├── ReplayHeuristic.java │ │ │ ├── VSIDS.java │ │ │ └── activity │ │ │ │ ├── AvgBodyActivityProvider.java │ │ │ │ ├── BodyActivityProvider.java │ │ │ │ ├── BodyActivityProviderFactory.java │ │ │ │ ├── DefaultBodyActivityProvider.java │ │ │ │ ├── MaxBodyActivityProvider.java │ │ │ │ ├── MinBodyActivityProvider.java │ │ │ │ └── SumBodyActivityProvider.java │ │ │ └── learning │ │ │ ├── GroundConflictNoGoodLearner.java │ │ │ └── ResolutionSequence.java │ └── resources │ │ └── stringtemplates │ │ └── aggregate-encodings.stg │ └── test │ ├── java │ └── at │ │ └── ac │ │ └── tuwien │ │ └── kr │ │ └── alpha │ │ └── core │ │ ├── atoms │ │ └── RuleAtomTest.java │ │ ├── common │ │ ├── NoGoodTest.java │ │ ├── ProgramTest.java │ │ ├── RuleTest.java │ │ └── SimpleAnswerSetFormatterTest.java │ │ ├── depgraph │ │ ├── DependencyGraphImplTest.java │ │ └── StratificationAlgorithmTest.java │ │ ├── externals │ │ └── AspStandardLibraryTest.java │ │ ├── grounder │ │ ├── ChoiceGrounder.java │ │ ├── DummyGrounder.java │ │ ├── IndexedInstanceStorageTest.java │ │ ├── NaiveGrounderTest.java │ │ ├── NoGoodGeneratorTest.java │ │ ├── RuleGroundingOrderTest.java │ │ ├── RuleToStringTest.java │ │ ├── SubstitutionTest.java │ │ ├── UnificationTest.java │ │ ├── UnifierTest.java │ │ ├── heuristics │ │ │ └── GrounderHeuristicConfigurationTest.java │ │ ├── instantiation │ │ │ ├── LiteralInstantiationStrategyTest.java │ │ │ └── LiteralInstantiatorTest.java │ │ └── structure │ │ │ └── AnalyzeUnjustifiedTest.java │ │ ├── parser │ │ └── ParserTest.java │ │ ├── programs │ │ ├── atoms │ │ │ ├── AtomsTest.java │ │ │ └── LiteralBindingNonBindingVariablesTest.java │ │ └── transformation │ │ │ ├── ArithmeticTermsRewritingTest.java │ │ │ ├── ProgramTransformationTest.java │ │ │ ├── StratifiedEvaluationRegressionTest.java │ │ │ ├── StratifiedEvaluationTest.java │ │ │ └── aggregates │ │ │ ├── AggregateLiteralSplittingTest.java │ │ │ ├── AggregateOperatorNormalizationTest.java │ │ │ ├── AggregateRewritingContextTest.java │ │ │ ├── AggregateRewritingRuleAnalysisTest.java │ │ │ └── AggregateRewritingTest.java │ │ ├── solver │ │ ├── AggregateRegressionTest.java │ │ ├── AggregatesTest.java │ │ ├── AntecedentTest.java │ │ ├── ArithmeticTermsTest.java │ │ ├── AtomCounterTests.java │ │ ├── ChoiceManagerTests.java │ │ ├── HanoiTowerTest.java │ │ ├── HeadBodyTransformationTests.java │ │ ├── LearnedNoGoodDeletionTest.java │ │ ├── NaiveNoGoodStoreTest.java │ │ ├── NoGoodStoreAlphaRoamingTest.java │ │ ├── OmigaBenchmarksTest.java │ │ ├── PartSubpartConfigurationTest.java │ │ ├── PigeonHoleTest.java │ │ ├── RacksTest.java │ │ ├── RegressionTest.java │ │ ├── RegressionTestConfig.java │ │ ├── RegressionTestConfigProvider.java │ │ ├── SolverStatisticsTests.java │ │ ├── SolverTests.java │ │ ├── TestableChoiceManager.java │ │ ├── ThreeColouringRandomGraphTest.java │ │ ├── ThreeColouringTestWithRandom.java │ │ ├── ThreeColouringWheelTest.java │ │ ├── TrailAssignmentTest.java │ │ ├── heuristics │ │ │ ├── AlphaHeuristicTestAssumptions.java │ │ │ ├── BerkMinTest.java │ │ │ ├── BranchingHeuristicFactoryTest.java │ │ │ ├── HeapOfActiveAtomsTest.java │ │ │ ├── HeuristicTestUtils.java │ │ │ ├── PseudoChoiceManager.java │ │ │ ├── ReplayHeuristicTest.java │ │ │ └── VSIDSTest.java │ │ └── learning │ │ │ └── GroundConflictNoGoodLearnerTest.java │ │ └── test │ │ └── util │ │ ├── AnswerSetsParser.java │ │ ├── DependencyGraphUtils.java │ │ ├── RuleParser.java │ │ ├── SubstitutionTestUtil.java │ │ └── TestUtils.java │ └── resources │ ├── HanoiTower_Alpha.asp │ ├── HanoiTower_instances │ ├── 1.asp │ ├── 2.asp │ ├── 3.asp │ ├── 4.asp │ ├── instances.txt │ └── simple.asp │ ├── escaped_quotes.asp │ ├── partial-eval │ ├── pup_topological_order.asp │ └── recursive_w_negated_condition.asp │ ├── show.asp │ ├── simplelogger.properties │ └── transform-test │ ├── choice-to-normal.1.in │ ├── choice-to-normal.1.out │ ├── interval-comparison_atom.in │ ├── interval-comparison_atom.out │ ├── interval-external_atom.in │ ├── interval-external_atom.out │ ├── interval.1.in │ └── interval.1.out ├── alpha-solver ├── .gitignore ├── build.gradle.kts └── src │ ├── main │ └── java │ │ └── at │ │ └── ac │ │ └── tuwien │ │ └── kr │ │ └── alpha │ │ └── api │ │ └── impl │ │ ├── AlphaImpl.java │ │ └── TestRunner.java │ └── test │ ├── java │ └── at │ │ └── ac │ │ └── tuwien │ │ └── kr │ │ └── alpha │ │ └── api │ │ └── impl │ │ ├── AlphaImplTest.java │ │ ├── AnswerSetsParser.java │ │ ├── FixedInterpretationLiteralsTest.java │ │ └── ReificationTest.java │ └── resources │ ├── HanoiTower_Alpha.asp │ ├── HanoiTower_instances │ ├── 1.asp │ ├── 2.asp │ ├── 3.asp │ ├── 4.asp │ ├── instances.txt │ └── simple.asp │ ├── PreviouslyProblematic │ ├── 3col-20-38.txt │ └── vehicle_normal_small.asp │ └── simplelogger.properties ├── config └── checkstyle │ ├── checkstyle.xml │ └── suppressions.xml ├── examples ├── 3col.md ├── 3col_with_tests.asp └── innocence.asp ├── gradle.properties ├── gradle └── wrapper │ ├── gradle-wrapper.jar │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat └── settings.gradle.kts /.codebeatsettings: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/.codebeatsettings -------------------------------------------------------------------------------- /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/.gitignore -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/AUTHORS -------------------------------------------------------------------------------- /CITATION.cff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/CITATION.cff -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /CONTRIBUTORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/CONTRIBUTORS -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/README.md -------------------------------------------------------------------------------- /RELEASE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/RELEASE.md -------------------------------------------------------------------------------- /alpha-api/.gitignore: -------------------------------------------------------------------------------- 1 | /build/ 2 | -------------------------------------------------------------------------------- /alpha-api/build.gradle.kts: -------------------------------------------------------------------------------- 1 | plugins { 2 | id("alpha.java-library-conventions") 3 | } 4 | -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/Alpha.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/Alpha.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/AnswerSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/AnswerSet.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/ComparisonOperator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/ComparisonOperator.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/DebugSolvingContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/DebugSolvingContext.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/Solver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/Solver.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/StatisticsReportingSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/StatisticsReportingSolver.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/common/fixedinterpretations/BindingPredicateInterpretation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/common/fixedinterpretations/BindingPredicateInterpretation.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/common/fixedinterpretations/PredicateInterpretation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/common/fixedinterpretations/PredicateInterpretation.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/AggregateRewritingConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/AggregateRewritingConfig.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/AlphaConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/AlphaConfig.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/BinaryNoGoodPropagationEstimationStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/BinaryNoGoodPropagationEstimationStrategy.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/GrounderHeuristicsConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/GrounderHeuristicsConfiguration.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/Heuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/Heuristic.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/InputConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/InputConfig.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/SystemConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/config/SystemConfig.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/externals/Predicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/externals/Predicate.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/grounder/Substitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/grounder/Substitution.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/mapper/AnswerSetToObjectMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/mapper/AnswerSetToObjectMapper.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/ASPCore2Program.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/ASPCore2Program.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/InlineDirectives.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/InlineDirectives.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/NormalProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/NormalProgram.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/Predicate.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/Predicate.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/Program.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/Program.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/ProgramParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/ProgramParser.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/VariableNormalizableAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/VariableNormalizableAtom.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/analysis/ComponentGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/analysis/ComponentGraph.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/analysis/DependencyGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/analysis/DependencyGraph.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/AggregateAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/AggregateAtom.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/Atom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/Atom.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/AtomQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/AtomQuery.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/BasicAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/BasicAtom.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/ComparisonAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/ComparisonAtom.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/ExternalAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/atoms/ExternalAtom.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/literals/AggregateLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/literals/AggregateLiteral.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/literals/BasicLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/literals/BasicLiteral.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/literals/ComparisonLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/literals/ComparisonLiteral.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/literals/ExternalLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/literals/ExternalLiteral.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/literals/FixedInterpretationLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/literals/FixedInterpretationLiteral.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/literals/Literal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/literals/Literal.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/rules/NormalRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/rules/NormalRule.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/rules/Rule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/rules/Rule.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/rules/heads/ChoiceHead.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/rules/heads/ChoiceHead.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/rules/heads/DisjunctiveHead.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/rules/heads/DisjunctiveHead.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/rules/heads/Head.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/rules/heads/Head.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/rules/heads/NormalHead.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/rules/heads/NormalHead.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/ArithmeticOperator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/ArithmeticOperator.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/ArithmeticTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/ArithmeticTerm.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/ConstantTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/ConstantTerm.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/FunctionTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/FunctionTerm.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/IntervalTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/IntervalTerm.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/Term.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/Term.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/VariableTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/terms/VariableTerm.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/tests/Assertion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/tests/Assertion.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/tests/TestCase.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/tests/TestCase.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/tests/TestResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/programs/tests/TestResult.java -------------------------------------------------------------------------------- /alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/util/AnswerSetFormatter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-api/src/main/java/at/ac/tuwien/kr/alpha/api/util/AnswerSetFormatter.java -------------------------------------------------------------------------------- /alpha-cli-app/.gitignore: -------------------------------------------------------------------------------- 1 | /build/ 2 | -------------------------------------------------------------------------------- /alpha-cli-app/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/build.gradle.kts -------------------------------------------------------------------------------- /alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/AnswerSetToXlsxWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/AnswerSetToXlsxWriter.java -------------------------------------------------------------------------------- /alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/Main.java -------------------------------------------------------------------------------- /alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/app/ComponentGraphWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/app/ComponentGraphWriter.java -------------------------------------------------------------------------------- /alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/app/DependencyGraphWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/app/DependencyGraphWriter.java -------------------------------------------------------------------------------- /alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/app/config/CliOptionHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/app/config/CliOptionHandler.java -------------------------------------------------------------------------------- /alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/app/config/CommandLineParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/app/config/CommandLineParser.java -------------------------------------------------------------------------------- /alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/app/mappers/AnswerSetToWorkbookMapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/main/java/at/ac/tuwien/kr/alpha/app/mappers/AnswerSetToWorkbookMapper.java -------------------------------------------------------------------------------- /alpha-cli-app/src/main/resources/simplelogger.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/main/resources/simplelogger.properties -------------------------------------------------------------------------------- /alpha-cli-app/src/test/java/at/ac/tuwien/kr/alpha/AnswerSetToXlsxWriterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/test/java/at/ac/tuwien/kr/alpha/AnswerSetToXlsxWriterTest.java -------------------------------------------------------------------------------- /alpha-cli-app/src/test/java/at/ac/tuwien/kr/alpha/MainTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/test/java/at/ac/tuwien/kr/alpha/MainTest.java -------------------------------------------------------------------------------- /alpha-cli-app/src/test/java/at/ac/tuwien/kr/alpha/app/ComponentGraphWriterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/test/java/at/ac/tuwien/kr/alpha/app/ComponentGraphWriterTest.java -------------------------------------------------------------------------------- /alpha-cli-app/src/test/java/at/ac/tuwien/kr/alpha/app/DependencyGraphWriterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/test/java/at/ac/tuwien/kr/alpha/app/DependencyGraphWriterTest.java -------------------------------------------------------------------------------- /alpha-cli-app/src/test/java/at/ac/tuwien/kr/alpha/app/config/CommandLineParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/test/java/at/ac/tuwien/kr/alpha/app/config/CommandLineParserTest.java -------------------------------------------------------------------------------- /alpha-cli-app/src/test/java/at/ac/tuwien/kr/alpha/app/mappers/AnswerSetToWorkbookMapperTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/test/java/at/ac/tuwien/kr/alpha/app/mappers/AnswerSetToWorkbookMapperTest.java -------------------------------------------------------------------------------- /alpha-cli-app/src/test/resources/simplelogger.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-cli-app/src/test/resources/simplelogger.properties -------------------------------------------------------------------------------- /alpha-commons/.gitignore: -------------------------------------------------------------------------------- 1 | /build/ 2 | -------------------------------------------------------------------------------- /alpha-commons/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/build.gradle.kts -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/AnswerSetBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/AnswerSetBuilder.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/AnswerSets.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/AnswerSets.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/BasicAnswerSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/BasicAnswerSet.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/PredicateImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/PredicateImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/Predicates.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/Predicates.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/comparisons/AbstractComparisonOperator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/comparisons/AbstractComparisonOperator.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/comparisons/ComparisonOperators.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/comparisons/ComparisonOperators.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/ASPCore2ProgramImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/ASPCore2ProgramImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/AbstractProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/AbstractProgram.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/InlineDirectivesImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/InlineDirectivesImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/NormalProgramImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/NormalProgramImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/Programs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/Programs.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/AbstractAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/AbstractAtom.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/AggregateAtomImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/AggregateAtomImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/AtomQueryImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/AtomQueryImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/Atoms.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/Atoms.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/BasicAtomImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/BasicAtomImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/ComparisonAtomImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/ComparisonAtomImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/ExternalAtomImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/atoms/ExternalAtomImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/literals/AbstractLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/literals/AbstractLiteral.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/literals/AggregateLiteralImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/literals/AggregateLiteralImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/literals/BasicLiteralImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/literals/BasicLiteralImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/literals/ComparisonLiteralImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/literals/ComparisonLiteralImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/literals/ExternalLiteralImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/literals/ExternalLiteralImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/literals/Literals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/literals/Literals.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/reification/ReificationContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/reification/ReificationContext.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/reification/Reifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/reification/Reifier.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/AbstractRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/AbstractRule.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/BasicRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/BasicRule.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/NormalRuleImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/NormalRuleImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/Rules.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/Rules.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/heads/ChoiceHeadImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/heads/ChoiceHeadImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/heads/DisjunctiveHeadImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/heads/DisjunctiveHeadImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/heads/Heads.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/heads/Heads.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/heads/NormalHeadImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/rules/heads/NormalHeadImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/AbstractTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/AbstractTerm.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/ArithmeticTermImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/ArithmeticTermImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/ConstantTermImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/ConstantTermImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/FunctionTermImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/FunctionTermImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/IntervalTermImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/IntervalTermImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/Terms.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/Terms.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/VariableTermImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/terms/VariableTermImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/tests/AssertionImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/tests/AssertionImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/tests/TestCaseImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/tests/TestCaseImpl.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/tests/Tests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/programs/tests/Tests.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/substitutions/BasicSubstitution.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/substitutions/BasicSubstitution.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/substitutions/Instance.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/substitutions/Instance.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/substitutions/Unifier.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/substitutions/Unifier.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/util/IdGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/util/IdGenerator.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/util/IntIdGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/util/IntIdGenerator.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/util/Interner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/util/Interner.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/util/SimpleAnswerSetFormatter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/util/SimpleAnswerSetFormatter.java -------------------------------------------------------------------------------- /alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/util/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/main/java/at/ac/tuwien/kr/alpha/commons/util/Util.java -------------------------------------------------------------------------------- /alpha-commons/src/test/java/at/ac/tuwien/kr/alpha/commons/BasicAnswerSetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/test/java/at/ac/tuwien/kr/alpha/commons/BasicAnswerSetTest.java -------------------------------------------------------------------------------- /alpha-commons/src/test/java/at/ac/tuwien/kr/alpha/commons/programs/terms/TermTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/test/java/at/ac/tuwien/kr/alpha/commons/programs/terms/TermTest.java -------------------------------------------------------------------------------- /alpha-commons/src/test/java/at/ac/tuwien/kr/alpha/commons/programs/terms/TermsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/test/java/at/ac/tuwien/kr/alpha/commons/programs/terms/TermsTest.java -------------------------------------------------------------------------------- /alpha-commons/src/test/java/at/ac/tuwien/kr/alpha/commons/programs/terms/TestMinusTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/test/java/at/ac/tuwien/kr/alpha/commons/programs/terms/TestMinusTerm.java -------------------------------------------------------------------------------- /alpha-commons/src/test/java/at/ac/tuwien/kr/alpha/commons/util/AtomQueryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/test/java/at/ac/tuwien/kr/alpha/commons/util/AtomQueryTest.java -------------------------------------------------------------------------------- /alpha-commons/src/test/java/at/ac/tuwien/kr/alpha/commons/util/UtilTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/test/java/at/ac/tuwien/kr/alpha/commons/util/UtilTest.java -------------------------------------------------------------------------------- /alpha-commons/src/test/resources/simplelogger.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-commons/src/test/resources/simplelogger.properties -------------------------------------------------------------------------------- /alpha-core/.gitignore: -------------------------------------------------------------------------------- 1 | /build/ 2 | /src/main/gen/ 3 | -------------------------------------------------------------------------------- /alpha-core/benchmarks/omiga/omiga-testcases.tar.gz: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/benchmarks/omiga/omiga-testcases.tar.gz -------------------------------------------------------------------------------- /alpha-core/benchmarks/omiga/omiga-testcases/3col/3col-10-18.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/benchmarks/omiga/omiga-testcases/3col/3col-10-18.txt -------------------------------------------------------------------------------- /alpha-core/benchmarks/omiga/omiga-testcases/3col/3col-20-38.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/benchmarks/omiga/omiga-testcases/3col/3col-20-38.txt -------------------------------------------------------------------------------- /alpha-core/benchmarks/omiga/omiga-testcases/cutedge/cutedge-100-30.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/benchmarks/omiga/omiga-testcases/cutedge/cutedge-100-30.txt -------------------------------------------------------------------------------- /alpha-core/benchmarks/omiga/omiga-testcases/cutedge/cutedge-100-50.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/benchmarks/omiga/omiga-testcases/cutedge/cutedge-100-50.txt -------------------------------------------------------------------------------- /alpha-core/benchmarks/omiga/omiga-testcases/locstrat/locstrat-200.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/benchmarks/omiga/omiga-testcases/locstrat/locstrat-200.txt -------------------------------------------------------------------------------- /alpha-core/benchmarks/omiga/omiga-testcases/locstrat/locstrat-400.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/benchmarks/omiga/omiga-testcases/locstrat/locstrat-400.txt -------------------------------------------------------------------------------- /alpha-core/benchmarks/omiga/omiga-testcases/reach/reach-1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/benchmarks/omiga/omiga-testcases/reach/reach-1.txt -------------------------------------------------------------------------------- /alpha-core/benchmarks/omiga/omiga-testcases/reach/reach-4.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/benchmarks/omiga/omiga-testcases/reach/reach-4.txt -------------------------------------------------------------------------------- /alpha-core/benchmarks/siemens/racks/racks.lp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/benchmarks/siemens/racks/racks.lp -------------------------------------------------------------------------------- /alpha-core/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/build.gradle.kts -------------------------------------------------------------------------------- /alpha-core/src/main/antlr/at/ac/tuwien/kr/alpha/core/antlr/ASPCore2.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/antlr/at/ac/tuwien/kr/alpha/core/antlr/ASPCore2.g4 -------------------------------------------------------------------------------- /alpha-core/src/main/antlr/at/ac/tuwien/kr/alpha/core/antlr/ASPLexer.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/antlr/at/ac/tuwien/kr/alpha/core/antlr/ASPLexer.g4 -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/Assignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/Assignment.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/AtomStore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/AtomStore.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/AtomStoreImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/AtomStoreImpl.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/IntIterator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/IntIterator.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/NoGood.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/NoGood.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/NoGoodInterface.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/NoGoodInterface.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/Truth.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/Truth.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/BinaryPredicateInterpretation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/BinaryPredicateInterpretation.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/BindingMethodPredicateInterpretation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/BindingMethodPredicateInterpretation.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/IntPredicateInterpretation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/IntPredicateInterpretation.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/LongPredicateInterpretation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/LongPredicateInterpretation.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/MethodPredicateInterpretation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/MethodPredicateInterpretation.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/NonBindingPredicateInterpretation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/NonBindingPredicateInterpretation.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/SuppliedPredicateInterpretation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/SuppliedPredicateInterpretation.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/UnaryPredicateInterpretation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/common/fixedinterpretations/UnaryPredicateInterpretation.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/ComponentGraphImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/ComponentGraphImpl.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/DependencyGraphImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/DependencyGraphImpl.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/DepthFirstSearchAlgorithm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/DepthFirstSearchAlgorithm.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/EdgeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/EdgeImpl.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/NodeImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/NodeImpl.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/StratificationAlgorithm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/StratificationAlgorithm.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/StronglyConnectedComponentsAlgorithm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/depgraph/StronglyConnectedComponentsAlgorithm.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/externals/AspStandardLibrary.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/externals/AspStandardLibrary.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/externals/Externals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/externals/Externals.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/AbstractGrounder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/AbstractGrounder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/BridgedGrounder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/BridgedGrounder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/ChoiceRecorder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/ChoiceRecorder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/FactIntervalEvaluator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/FactIntervalEvaluator.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/FilteringGrounder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/FilteringGrounder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/Grounder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/Grounder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/GrounderFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/GrounderFactory.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/IndexedInstanceStorage.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/IndexedInstanceStorage.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/NaiveGrounder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/NaiveGrounder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/NoGoodGenerator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/NoGoodGenerator.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/NogoodRegistry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/NogoodRegistry.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/ProgramAnalyzingGrounder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/ProgramAnalyzingGrounder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/RuleGroundingInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/RuleGroundingInfo.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/RuleGroundingInfoImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/RuleGroundingInfoImpl.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/RuleGroundingOrder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/RuleGroundingOrder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/RuleGroundingOrderImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/RuleGroundingOrderImpl.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/Unification.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/Unification.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/WorkingMemory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/WorkingMemory.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/bridges/Bridge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/bridges/Bridge.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/AbstractLiteralInstantiationStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/AbstractLiteralInstantiationStrategy.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/AssignmentStatus.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/AssignmentStatus.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/BindingResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/BindingResult.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/DefaultLazyGroundingInstantiationStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/DefaultLazyGroundingInstantiationStrategy.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/LiteralInstantiationResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/LiteralInstantiationResult.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/LiteralInstantiationStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/LiteralInstantiationStrategy.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/LiteralInstantiator.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/LiteralInstantiator.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/WorkingMemoryBasedInstantiationStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/WorkingMemoryBasedInstantiationStrategy.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/structure/AnalyzeUnjustified.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/structure/AnalyzeUnjustified.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/structure/LitSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/grounder/structure/LitSet.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/parser/CustomErrorListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/parser/CustomErrorListener.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/parser/ParseTreeVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/parser/ParseTreeVisitor.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/parser/ProgramParserImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/parser/ProgramParserImpl.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/parser/ProgramPartParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/parser/ProgramPartParser.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/AnalyzedProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/AnalyzedProgram.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/CompiledProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/CompiledProgram.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/InternalProgram.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/InternalProgram.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/ChoiceAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/ChoiceAtom.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/EnumerationAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/EnumerationAtom.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/EnumerationLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/EnumerationLiteral.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/IntervalAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/IntervalAtom.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/IntervalLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/IntervalLiteral.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/Literals.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/Literals.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/RuleAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/atoms/RuleAtom.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/rules/CompiledRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/rules/CompiledRule.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/rules/InternalRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/rules/InternalRule.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/ArithmeticTermsRewriting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/ArithmeticTermsRewriting.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/ChoiceHeadToNormal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/ChoiceHeadToNormal.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/EnumerationRewriting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/EnumerationRewriting.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/IntervalTermToIntervalAtom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/IntervalTermToIntervalAtom.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/NormalizeProgramTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/NormalizeProgramTransformation.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/PredicateInternalizer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/PredicateInternalizer.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/ProgramTransformation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/ProgramTransformation.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/StratifiedEvaluation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/StratifiedEvaluation.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/VariableEqualityRemoval.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/VariableEqualityRemoval.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateLiteralSplitting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateLiteralSplitting.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateOperatorNormalization.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateOperatorNormalization.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateRewriting.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateRewriting.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateRewritingContext.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateRewritingContext.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateRewritingRuleAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateRewritingRuleAnalysis.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/encoders/AbstractAggregateEncoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/encoders/AbstractAggregateEncoder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/encoders/CountEncoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/encoders/CountEncoder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/encoders/MinMaxEncoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/encoders/MinMaxEncoder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/encoders/StringtemplateBasedAggregateEncoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/encoders/StringtemplateBasedAggregateEncoder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/encoders/SumEncoder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/encoders/SumEncoder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/AbstractSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/AbstractSolver.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/Antecedent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/Antecedent.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/AtomCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/AtomCounter.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/Atoms.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/Atoms.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/BinaryNoGoodPropagationEstimation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/BinaryNoGoodPropagationEstimation.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/Checkable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/Checkable.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/Choice.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/Choice.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/ChoiceInfluenceManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/ChoiceInfluenceManager.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/ChoiceManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/ChoiceManager.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/ConflictCause.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/ConflictCause.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/DefaultSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/DefaultSolver.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/LearnedNoGoodDeletion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/LearnedNoGoodDeletion.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/NaiveNoGoodStore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/NaiveNoGoodStore.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/NaiveSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/NaiveSolver.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/NoGoodCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/NoGoodCounter.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/NoGoodStore.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/NoGoodStore.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/NoGoodStoreAlphaRoaming.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/NoGoodStoreAlphaRoaming.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/PerformanceLog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/PerformanceLog.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/ShallowAntecedent.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/ShallowAntecedent.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/SolverFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/SolverFactory.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/ThriceTruth.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/ThriceTruth.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/TrailAssignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/TrailAssignment.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/WatchedNoGood.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/WatchedNoGood.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/WritableAssignment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/WritableAssignment.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/ActivityBasedBranchingHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/ActivityBasedBranchingHeuristic.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/AlphaActiveRuleHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/AlphaActiveRuleHeuristic.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/AlphaHeadMustBeTrueHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/AlphaHeadMustBeTrueHeuristic.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/AlphaRandomSignHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/AlphaRandomSignHeuristic.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/BerkMin.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/BerkMin.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/BerkMinLiteral.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/BerkMinLiteral.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/BranchingHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/BranchingHeuristic.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/BranchingHeuristicFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/BranchingHeuristicFactory.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/ChainedBranchingHeuristics.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/ChainedBranchingHeuristics.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/DependencyDrivenHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/DependencyDrivenHeuristic.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/DependencyDrivenPyroHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/DependencyDrivenPyroHeuristic.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/DependencyDrivenVSIDS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/DependencyDrivenVSIDS.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/GeneralizedDependencyDrivenHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/GeneralizedDependencyDrivenHeuristic.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/GeneralizedDependencyDrivenPyroHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/GeneralizedDependencyDrivenPyroHeuristic.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/HeapOfActiveAtoms.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/HeapOfActiveAtoms.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/HeapOfActiveChoicePoints.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/HeapOfActiveChoicePoints.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/HeuristicsConfiguration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/HeuristicsConfiguration.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/HeuristicsConfigurationBuilder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/HeuristicsConfigurationBuilder.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/MOMs.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/MOMs.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/NaiveHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/NaiveHeuristic.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/ReplayHeuristic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/ReplayHeuristic.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/VSIDS.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/VSIDS.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/AvgBodyActivityProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/AvgBodyActivityProvider.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/BodyActivityProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/BodyActivityProvider.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/BodyActivityProviderFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/BodyActivityProviderFactory.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/DefaultBodyActivityProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/DefaultBodyActivityProvider.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/MaxBodyActivityProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/MaxBodyActivityProvider.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/MinBodyActivityProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/MinBodyActivityProvider.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/SumBodyActivityProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/activity/SumBodyActivityProvider.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/learning/GroundConflictNoGoodLearner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/learning/GroundConflictNoGoodLearner.java -------------------------------------------------------------------------------- /alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/learning/ResolutionSequence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/java/at/ac/tuwien/kr/alpha/core/solver/learning/ResolutionSequence.java -------------------------------------------------------------------------------- /alpha-core/src/main/resources/stringtemplates/aggregate-encodings.stg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/main/resources/stringtemplates/aggregate-encodings.stg -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/atoms/RuleAtomTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/atoms/RuleAtomTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/common/NoGoodTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/common/NoGoodTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/common/ProgramTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/common/ProgramTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/common/RuleTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/common/RuleTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/common/SimpleAnswerSetFormatterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/common/SimpleAnswerSetFormatterTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/depgraph/DependencyGraphImplTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/depgraph/DependencyGraphImplTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/depgraph/StratificationAlgorithmTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/depgraph/StratificationAlgorithmTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/externals/AspStandardLibraryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/externals/AspStandardLibraryTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/ChoiceGrounder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/ChoiceGrounder.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/DummyGrounder.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/DummyGrounder.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/IndexedInstanceStorageTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/IndexedInstanceStorageTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/NaiveGrounderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/NaiveGrounderTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/NoGoodGeneratorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/NoGoodGeneratorTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/RuleGroundingOrderTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/RuleGroundingOrderTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/RuleToStringTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/RuleToStringTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/SubstitutionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/SubstitutionTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/UnificationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/UnificationTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/UnifierTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/UnifierTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/heuristics/GrounderHeuristicConfigurationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/heuristics/GrounderHeuristicConfigurationTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/LiteralInstantiationStrategyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/LiteralInstantiationStrategyTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/LiteralInstantiatorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/instantiation/LiteralInstantiatorTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/structure/AnalyzeUnjustifiedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/grounder/structure/AnalyzeUnjustifiedTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/parser/ParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/parser/ParserTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/atoms/AtomsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/atoms/AtomsTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/atoms/LiteralBindingNonBindingVariablesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/atoms/LiteralBindingNonBindingVariablesTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/ArithmeticTermsRewritingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/ArithmeticTermsRewritingTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/ProgramTransformationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/ProgramTransformationTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/StratifiedEvaluationRegressionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/StratifiedEvaluationRegressionTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/StratifiedEvaluationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/StratifiedEvaluationTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateLiteralSplittingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateLiteralSplittingTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateOperatorNormalizationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateOperatorNormalizationTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateRewritingContextTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateRewritingContextTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateRewritingRuleAnalysisTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateRewritingRuleAnalysisTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateRewritingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/programs/transformation/aggregates/AggregateRewritingTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/AggregateRegressionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/AggregateRegressionTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/AggregatesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/AggregatesTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/AntecedentTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/AntecedentTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/ArithmeticTermsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/ArithmeticTermsTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/AtomCounterTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/AtomCounterTests.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/ChoiceManagerTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/ChoiceManagerTests.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/HanoiTowerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/HanoiTowerTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/HeadBodyTransformationTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/HeadBodyTransformationTests.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/LearnedNoGoodDeletionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/LearnedNoGoodDeletionTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/NaiveNoGoodStoreTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/NaiveNoGoodStoreTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/NoGoodStoreAlphaRoamingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/NoGoodStoreAlphaRoamingTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/OmigaBenchmarksTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/OmigaBenchmarksTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/PartSubpartConfigurationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/PartSubpartConfigurationTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/PigeonHoleTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/PigeonHoleTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/RacksTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/RacksTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/RegressionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/RegressionTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/RegressionTestConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/RegressionTestConfig.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/RegressionTestConfigProvider.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/RegressionTestConfigProvider.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/SolverStatisticsTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/SolverStatisticsTests.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/SolverTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/SolverTests.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/TestableChoiceManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/TestableChoiceManager.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/ThreeColouringRandomGraphTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/ThreeColouringRandomGraphTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/ThreeColouringTestWithRandom.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/ThreeColouringTestWithRandom.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/ThreeColouringWheelTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/ThreeColouringWheelTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/TrailAssignmentTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/TrailAssignmentTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/AlphaHeuristicTestAssumptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/AlphaHeuristicTestAssumptions.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/BerkMinTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/BerkMinTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/BranchingHeuristicFactoryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/BranchingHeuristicFactoryTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/HeapOfActiveAtomsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/HeapOfActiveAtomsTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/HeuristicTestUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/HeuristicTestUtils.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/PseudoChoiceManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/PseudoChoiceManager.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/ReplayHeuristicTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/ReplayHeuristicTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/VSIDSTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/heuristics/VSIDSTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/learning/GroundConflictNoGoodLearnerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/solver/learning/GroundConflictNoGoodLearnerTest.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/test/util/AnswerSetsParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/test/util/AnswerSetsParser.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/test/util/DependencyGraphUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/test/util/DependencyGraphUtils.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/test/util/RuleParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/test/util/RuleParser.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/test/util/SubstitutionTestUtil.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/test/util/SubstitutionTestUtil.java -------------------------------------------------------------------------------- /alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/test/util/TestUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/java/at/ac/tuwien/kr/alpha/core/test/util/TestUtils.java -------------------------------------------------------------------------------- /alpha-core/src/test/resources/HanoiTower_Alpha.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/HanoiTower_Alpha.asp -------------------------------------------------------------------------------- /alpha-core/src/test/resources/HanoiTower_instances/1.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/HanoiTower_instances/1.asp -------------------------------------------------------------------------------- /alpha-core/src/test/resources/HanoiTower_instances/2.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/HanoiTower_instances/2.asp -------------------------------------------------------------------------------- /alpha-core/src/test/resources/HanoiTower_instances/3.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/HanoiTower_instances/3.asp -------------------------------------------------------------------------------- /alpha-core/src/test/resources/HanoiTower_instances/4.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/HanoiTower_instances/4.asp -------------------------------------------------------------------------------- /alpha-core/src/test/resources/HanoiTower_instances/instances.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/HanoiTower_instances/instances.txt -------------------------------------------------------------------------------- /alpha-core/src/test/resources/HanoiTower_instances/simple.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/HanoiTower_instances/simple.asp -------------------------------------------------------------------------------- /alpha-core/src/test/resources/escaped_quotes.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/escaped_quotes.asp -------------------------------------------------------------------------------- /alpha-core/src/test/resources/partial-eval/pup_topological_order.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/partial-eval/pup_topological_order.asp -------------------------------------------------------------------------------- /alpha-core/src/test/resources/partial-eval/recursive_w_negated_condition.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/partial-eval/recursive_w_negated_condition.asp -------------------------------------------------------------------------------- /alpha-core/src/test/resources/show.asp: -------------------------------------------------------------------------------- 1 | #show on/3. -------------------------------------------------------------------------------- /alpha-core/src/test/resources/simplelogger.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/simplelogger.properties -------------------------------------------------------------------------------- /alpha-core/src/test/resources/transform-test/choice-to-normal.1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/transform-test/choice-to-normal.1.in -------------------------------------------------------------------------------- /alpha-core/src/test/resources/transform-test/choice-to-normal.1.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/transform-test/choice-to-normal.1.out -------------------------------------------------------------------------------- /alpha-core/src/test/resources/transform-test/interval-comparison_atom.in: -------------------------------------------------------------------------------- 1 | interval_comparison :- value(V), 0..10 < V. -------------------------------------------------------------------------------- /alpha-core/src/test/resources/transform-test/interval-comparison_atom.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/transform-test/interval-comparison_atom.out -------------------------------------------------------------------------------- /alpha-core/src/test/resources/transform-test/interval-external_atom.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/transform-test/interval-external_atom.in -------------------------------------------------------------------------------- /alpha-core/src/test/resources/transform-test/interval-external_atom.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/transform-test/interval-external_atom.out -------------------------------------------------------------------------------- /alpha-core/src/test/resources/transform-test/interval.1.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/transform-test/interval.1.in -------------------------------------------------------------------------------- /alpha-core/src/test/resources/transform-test/interval.1.out: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-core/src/test/resources/transform-test/interval.1.out -------------------------------------------------------------------------------- /alpha-solver/.gitignore: -------------------------------------------------------------------------------- 1 | /build/ 2 | -------------------------------------------------------------------------------- /alpha-solver/build.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/build.gradle.kts -------------------------------------------------------------------------------- /alpha-solver/src/main/java/at/ac/tuwien/kr/alpha/api/impl/AlphaImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/main/java/at/ac/tuwien/kr/alpha/api/impl/AlphaImpl.java -------------------------------------------------------------------------------- /alpha-solver/src/main/java/at/ac/tuwien/kr/alpha/api/impl/TestRunner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/main/java/at/ac/tuwien/kr/alpha/api/impl/TestRunner.java -------------------------------------------------------------------------------- /alpha-solver/src/test/java/at/ac/tuwien/kr/alpha/api/impl/AlphaImplTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/java/at/ac/tuwien/kr/alpha/api/impl/AlphaImplTest.java -------------------------------------------------------------------------------- /alpha-solver/src/test/java/at/ac/tuwien/kr/alpha/api/impl/AnswerSetsParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/java/at/ac/tuwien/kr/alpha/api/impl/AnswerSetsParser.java -------------------------------------------------------------------------------- /alpha-solver/src/test/java/at/ac/tuwien/kr/alpha/api/impl/FixedInterpretationLiteralsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/java/at/ac/tuwien/kr/alpha/api/impl/FixedInterpretationLiteralsTest.java -------------------------------------------------------------------------------- /alpha-solver/src/test/java/at/ac/tuwien/kr/alpha/api/impl/ReificationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/java/at/ac/tuwien/kr/alpha/api/impl/ReificationTest.java -------------------------------------------------------------------------------- /alpha-solver/src/test/resources/HanoiTower_Alpha.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/resources/HanoiTower_Alpha.asp -------------------------------------------------------------------------------- /alpha-solver/src/test/resources/HanoiTower_instances/1.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/resources/HanoiTower_instances/1.asp -------------------------------------------------------------------------------- /alpha-solver/src/test/resources/HanoiTower_instances/2.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/resources/HanoiTower_instances/2.asp -------------------------------------------------------------------------------- /alpha-solver/src/test/resources/HanoiTower_instances/3.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/resources/HanoiTower_instances/3.asp -------------------------------------------------------------------------------- /alpha-solver/src/test/resources/HanoiTower_instances/4.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/resources/HanoiTower_instances/4.asp -------------------------------------------------------------------------------- /alpha-solver/src/test/resources/HanoiTower_instances/instances.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/resources/HanoiTower_instances/instances.txt -------------------------------------------------------------------------------- /alpha-solver/src/test/resources/HanoiTower_instances/simple.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/resources/HanoiTower_instances/simple.asp -------------------------------------------------------------------------------- /alpha-solver/src/test/resources/PreviouslyProblematic/3col-20-38.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/resources/PreviouslyProblematic/3col-20-38.txt -------------------------------------------------------------------------------- /alpha-solver/src/test/resources/PreviouslyProblematic/vehicle_normal_small.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/resources/PreviouslyProblematic/vehicle_normal_small.asp -------------------------------------------------------------------------------- /alpha-solver/src/test/resources/simplelogger.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/alpha-solver/src/test/resources/simplelogger.properties -------------------------------------------------------------------------------- /config/checkstyle/checkstyle.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/config/checkstyle/checkstyle.xml -------------------------------------------------------------------------------- /config/checkstyle/suppressions.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/config/checkstyle/suppressions.xml -------------------------------------------------------------------------------- /examples/3col.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/examples/3col.md -------------------------------------------------------------------------------- /examples/3col_with_tests.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/examples/3col_with_tests.asp -------------------------------------------------------------------------------- /examples/innocence.asp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/examples/innocence.asp -------------------------------------------------------------------------------- /gradle.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/gradle.properties -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/gradlew -------------------------------------------------------------------------------- /gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/gradlew.bat -------------------------------------------------------------------------------- /settings.gradle.kts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/alpha-asp/Alpha/HEAD/settings.gradle.kts --------------------------------------------------------------------------------