├── .gitignore ├── .travis.yml ├── LICENSE ├── NOTICE ├── README.md ├── examples ├── causalDiscoveryRules.psl ├── extended-movies.psl ├── feature-complete.psl └── movies.psl ├── experiments logs └── graphlab configure and make logs.txt ├── fox.sh ├── foxLogo.jpg ├── project ├── build.properties └── plugins.sbt └── src ├── main ├── java │ └── com │ │ └── signalcollect │ │ └── psl │ │ ├── ADMMObjectiveTerm.java │ │ ├── ADMMReasoner.java │ │ ├── HingeLossTerm.java │ │ ├── HyperplaneTerm.java │ │ ├── LinearConstraintTerm.java │ │ ├── LinearLossTerm.java │ │ ├── SquaredHingeLossTerm.java │ │ ├── SquaredHyperplaneTerm.java │ │ ├── SquaredLinearLossTerm.java │ │ └── WeightedObjectiveTerm.java ├── resources │ └── simplelogger.properties └── scala │ └── com │ └── signalcollect │ ├── admm │ ├── ConvergenceDetection.scala │ ├── Wolf.scala │ ├── graph │ │ ├── AsyncConsensusVertex.scala │ │ ├── AsyncSubproblemVertex.scala │ │ ├── ConsensusVertex.scala │ │ ├── DummyEdge.scala │ │ ├── LazyConsensusVertex.scala │ │ ├── LazySubproblemVertex.scala │ │ ├── SubproblemToConsensusSignal.scala │ │ └── SubproblemVertex.scala │ ├── optimizers │ │ ├── BreezeToolkit.scala │ │ ├── HingelossOptimizer.scala │ │ ├── LinearConstraintOptimizer.scala │ │ ├── LinearLossOptimizer.scala │ │ ├── OptimizableFunction.scala │ │ ├── OptimizerBase.scala │ │ ├── SquaredHingelossOptimizer.scala │ │ └── SquaredLossOptimizer.scala │ └── utils │ │ ├── ConvergencePlotter.scala │ │ ├── MinimaExplorer.scala │ │ └── Timer.scala │ └── psl │ ├── CommandLinePslInferencer.scala │ ├── Grounding.scala │ ├── Inferencer.scala │ ├── PslOptimizerWrapper.scala │ ├── model │ ├── DistanceMeasure.scala │ ├── GroundedConstraint.scala │ ├── GroundedPredicate.scala │ ├── GroundedRule.scala │ ├── Predicate.scala │ ├── PredicateProperty.scala │ ├── PslClass.scala │ ├── Rule.scala │ └── VariableOrIndividual.scala │ ├── parser │ ├── Fact.scala │ ├── ParseHelper.scala │ ├── ParsedPslFile.scala │ ├── PslParser.scala │ └── PslResultParser.scala │ └── translate │ ├── PSLToCvxConverter.scala │ ├── PSLToLPConverter.scala │ └── PSLToMLNConverter.scala └── test └── scala └── com └── signalcollect ├── admm ├── AdmmSpec.scala └── AdmmTestHelper.scala └── psl ├── BreezeToolkitSpec.scala ├── FunctionalSpec.scala ├── GroundedRulePlaygroundSpec.scala ├── GroundingSpec.scala ├── HingeLossSpec.scala ├── LinearConstraintSpec.scala ├── LinearLossSpec.scala ├── SimplePslExpression.scala ├── SquaredHingeLossSpec.scala ├── SquaredLinearLossSpec.scala ├── benchmarking ├── SimpleBenchmark.scala └── small-benchmarks │ ├── abduction.psl │ ├── animals.psl │ ├── chain.psl │ ├── classes.psl │ ├── marriage.psl │ ├── movie-example-big.psl │ ├── movie-example.psl │ ├── movie-linear.psl │ ├── synthetic_100ind_known0.5_var0.1.txt │ ├── synthetic_100ind_known0.5_var0.1_1_of_7.txt │ ├── synthetic_100ind_known0.5_var0.1_2_of_7.txt │ ├── synthetic_100ind_known0.5_var0.1_3_of_7.txt │ ├── synthetic_100ind_known0.5_var0.1_4_of_7.txt │ ├── synthetic_100ind_known0.5_var0.1_5_of_7.txt │ ├── synthetic_100ind_known0.5_var0.1_6_of_7.txt │ └── synthetic_100ind_known0.5_var0.1_7_of_7.txt ├── examples ├── AbductionExample.scala ├── AnimalClassification.scala ├── CausalExample.scala ├── CausalSetsExample.scala ├── ClassesExample.scala ├── DConnectionExample.scala ├── ExistsExample.scala ├── FriendsExample.scala ├── LogicPuzzle.scala ├── MovieRecommendations.scala ├── MovieRecommendationsWithClasses.scala ├── ParsingUrls.scala ├── SetExample.scala ├── VotingExample.scala └── VotingExperiments.scala ├── model └── GroundedConstraintSpec.scala ├── parser └── PslParserSpec.scala ├── serialization └── PslSerializationSpec.scala └── translate └── PSLToCvxConverterSpec.scala /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/.gitignore -------------------------------------------------------------------------------- /.travis.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/.travis.yml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/LICENSE -------------------------------------------------------------------------------- /NOTICE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/NOTICE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/README.md -------------------------------------------------------------------------------- /examples/causalDiscoveryRules.psl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/examples/causalDiscoveryRules.psl -------------------------------------------------------------------------------- /examples/extended-movies.psl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/examples/extended-movies.psl -------------------------------------------------------------------------------- /examples/feature-complete.psl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/examples/feature-complete.psl -------------------------------------------------------------------------------- /examples/movies.psl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/examples/movies.psl -------------------------------------------------------------------------------- /experiments logs/graphlab configure and make logs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/experiments logs/graphlab configure and make logs.txt -------------------------------------------------------------------------------- /fox.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/fox.sh -------------------------------------------------------------------------------- /foxLogo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/foxLogo.jpg -------------------------------------------------------------------------------- /project/build.properties: -------------------------------------------------------------------------------- 1 | sbt.version=0.13.7 2 | -------------------------------------------------------------------------------- /project/plugins.sbt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/project/plugins.sbt -------------------------------------------------------------------------------- /src/main/java/com/signalcollect/psl/ADMMObjectiveTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/java/com/signalcollect/psl/ADMMObjectiveTerm.java -------------------------------------------------------------------------------- /src/main/java/com/signalcollect/psl/ADMMReasoner.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/java/com/signalcollect/psl/ADMMReasoner.java -------------------------------------------------------------------------------- /src/main/java/com/signalcollect/psl/HingeLossTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/java/com/signalcollect/psl/HingeLossTerm.java -------------------------------------------------------------------------------- /src/main/java/com/signalcollect/psl/HyperplaneTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/java/com/signalcollect/psl/HyperplaneTerm.java -------------------------------------------------------------------------------- /src/main/java/com/signalcollect/psl/LinearConstraintTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/java/com/signalcollect/psl/LinearConstraintTerm.java -------------------------------------------------------------------------------- /src/main/java/com/signalcollect/psl/LinearLossTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/java/com/signalcollect/psl/LinearLossTerm.java -------------------------------------------------------------------------------- /src/main/java/com/signalcollect/psl/SquaredHingeLossTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/java/com/signalcollect/psl/SquaredHingeLossTerm.java -------------------------------------------------------------------------------- /src/main/java/com/signalcollect/psl/SquaredHyperplaneTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/java/com/signalcollect/psl/SquaredHyperplaneTerm.java -------------------------------------------------------------------------------- /src/main/java/com/signalcollect/psl/SquaredLinearLossTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/java/com/signalcollect/psl/SquaredLinearLossTerm.java -------------------------------------------------------------------------------- /src/main/java/com/signalcollect/psl/WeightedObjectiveTerm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/java/com/signalcollect/psl/WeightedObjectiveTerm.java -------------------------------------------------------------------------------- /src/main/resources/simplelogger.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/resources/simplelogger.properties -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/ConvergenceDetection.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/ConvergenceDetection.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/Wolf.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/Wolf.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/graph/AsyncConsensusVertex.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/graph/AsyncConsensusVertex.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/graph/AsyncSubproblemVertex.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/graph/AsyncSubproblemVertex.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/graph/ConsensusVertex.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/graph/ConsensusVertex.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/graph/DummyEdge.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/graph/DummyEdge.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/graph/LazyConsensusVertex.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/graph/LazyConsensusVertex.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/graph/LazySubproblemVertex.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/graph/LazySubproblemVertex.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/graph/SubproblemToConsensusSignal.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/graph/SubproblemToConsensusSignal.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/graph/SubproblemVertex.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/graph/SubproblemVertex.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/optimizers/BreezeToolkit.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/optimizers/BreezeToolkit.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/optimizers/HingelossOptimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/optimizers/HingelossOptimizer.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/optimizers/LinearConstraintOptimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/optimizers/LinearConstraintOptimizer.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/optimizers/LinearLossOptimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/optimizers/LinearLossOptimizer.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/optimizers/OptimizableFunction.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/optimizers/OptimizableFunction.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/optimizers/OptimizerBase.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/optimizers/OptimizerBase.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/optimizers/SquaredHingelossOptimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/optimizers/SquaredHingelossOptimizer.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/optimizers/SquaredLossOptimizer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/optimizers/SquaredLossOptimizer.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/utils/ConvergencePlotter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/utils/ConvergencePlotter.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/utils/MinimaExplorer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/utils/MinimaExplorer.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/admm/utils/Timer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/admm/utils/Timer.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/CommandLinePslInferencer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/CommandLinePslInferencer.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/Grounding.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/Grounding.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/Inferencer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/Inferencer.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/PslOptimizerWrapper.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/PslOptimizerWrapper.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/model/DistanceMeasure.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/model/DistanceMeasure.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/model/GroundedConstraint.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/model/GroundedConstraint.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/model/GroundedPredicate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/model/GroundedPredicate.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/model/GroundedRule.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/model/GroundedRule.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/model/Predicate.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/model/Predicate.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/model/PredicateProperty.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/model/PredicateProperty.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/model/PslClass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/model/PslClass.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/model/Rule.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/model/Rule.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/model/VariableOrIndividual.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/model/VariableOrIndividual.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/parser/Fact.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/parser/Fact.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/parser/ParseHelper.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/parser/ParseHelper.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/parser/ParsedPslFile.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/parser/ParsedPslFile.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/parser/PslParser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/parser/PslParser.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/parser/PslResultParser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/parser/PslResultParser.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/translate/PSLToCvxConverter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/translate/PSLToCvxConverter.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/translate/PSLToLPConverter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/translate/PSLToLPConverter.scala -------------------------------------------------------------------------------- /src/main/scala/com/signalcollect/psl/translate/PSLToMLNConverter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/main/scala/com/signalcollect/psl/translate/PSLToMLNConverter.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/admm/AdmmSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/admm/AdmmSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/admm/AdmmTestHelper.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/admm/AdmmTestHelper.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/BreezeToolkitSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/BreezeToolkitSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/FunctionalSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/FunctionalSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/GroundedRulePlaygroundSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/GroundedRulePlaygroundSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/GroundingSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/GroundingSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/HingeLossSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/HingeLossSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/LinearConstraintSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/LinearConstraintSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/LinearLossSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/LinearLossSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/SimplePslExpression.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/SimplePslExpression.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/SquaredHingeLossSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/SquaredHingeLossSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/SquaredLinearLossSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/SquaredLinearLossSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/SimpleBenchmark.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/SimpleBenchmark.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/abduction.psl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/abduction.psl -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/animals.psl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/animals.psl -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/chain.psl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/chain.psl -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/classes.psl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/classes.psl -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/marriage.psl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/marriage.psl -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/movie-example-big.psl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/movie-example-big.psl -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/movie-example.psl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/movie-example.psl -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/movie-linear.psl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/movie-linear.psl -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1.txt -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_1_of_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_1_of_7.txt -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_2_of_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_2_of_7.txt -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_3_of_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_3_of_7.txt -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_4_of_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_4_of_7.txt -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_5_of_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_5_of_7.txt -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_6_of_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_6_of_7.txt -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_7_of_7.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/benchmarking/small-benchmarks/synthetic_100ind_known0.5_var0.1_7_of_7.txt -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/AbductionExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/AbductionExample.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/AnimalClassification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/AnimalClassification.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/CausalExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/CausalExample.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/CausalSetsExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/CausalSetsExample.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/ClassesExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/ClassesExample.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/DConnectionExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/DConnectionExample.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/ExistsExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/ExistsExample.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/FriendsExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/FriendsExample.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/LogicPuzzle.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/LogicPuzzle.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/MovieRecommendations.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/MovieRecommendations.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/MovieRecommendationsWithClasses.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/MovieRecommendationsWithClasses.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/ParsingUrls.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/ParsingUrls.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/SetExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/SetExample.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/VotingExample.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/VotingExample.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/examples/VotingExperiments.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/examples/VotingExperiments.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/model/GroundedConstraintSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/model/GroundedConstraintSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/parser/PslParserSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/parser/PslParserSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/serialization/PslSerializationSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/serialization/PslSerializationSpec.scala -------------------------------------------------------------------------------- /src/test/scala/com/signalcollect/psl/translate/PSLToCvxConverterSpec.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/uzh/fox/HEAD/src/test/scala/com/signalcollect/psl/translate/PSLToCvxConverterSpec.scala --------------------------------------------------------------------------------