Skip to content

GitLab

Switch branch/tag
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.010Jul93Feb10Jan6Nov29Oct226Sep419Aug161029Jul15Apr14131211109521Mar201817168Feb12Nov65130Oct29282726242019181716131216Sep13119312Aug8Jul3Jun228May22Apr218730Mar29Slight refactoring to avoid unnecessary brackets.optimizationoptimizationAdds missing dot on the end of the generated programFixes the rule ordering in the generated grammarAdds grammar generatorFixes circuit global constraint definitionAdds Oscar neighborhood combinatorFixes in the global constraintsVarious optimization to the NDL languageFixes mzn2ndl to correctly handle the constraints semanticsminizinc-extrac…minizinc-extractorUpdates examples (adds compiled tsp example)Adds support for the circuit constraintAdds support for the alldifferent constraintFixes parsing global constraints.Improvements in the noodle model for sake of the MiniZinc compilationTranslates MiniZinc model with basic binary constraints.Extracts AST traversing to an external module.Updates examples to contain extra expression to stress test the translator.Updates noodle to handle loops gracefullyWorkin translation of parameters and variables[WIP] Some progress in generating the ndl.Fixes minor errors in the grammarFixes in the DCG (annotations).Adds minizinc examples for testing purposes.Updates gitignore to ignore macos filesAdds first MiniZinc DCG grammar.MiniZinc Parser with DCG [WIP]Fixes noodle bug occuring when running operator more than once per swipl session.mastermasterUses only two solutions per instances for evaluation. Also stores time used by the evaluation.Raises evaluation timelimit to 3 seconds per instance.TSP: evaluator doesn't prize just a low amount of duplicates.Print intermediate results into file named based on the hostname.Makes fitness function more fine-grained.Makes evaluator more adventurous (puts much 95% value on the neighborhood scoreMinor adjustments in the evaluators. Reverts back to neighborhood score considered equal to code score (still the neigborhood score is max to 3, while code score is max 1)Changes evaluator time limit to 0.4 per instance.TSP Evaluator uses now fixed solutions.Makes evaluation time shorter to avoid wasting time.tsp/all_initial…tsp/all_initializedIgnore "ignored outputs" metric in the evaluator.Experiment: initializes all variables at the program beginning.Evaluator doesn't consider cost anymore.