Skip to content
Snippets Groups Projects
Select Git revision
  • changed_Id
  • export-any-directed
  • feature/GraphVisulizer
  • feature/allow_different_exports
  • main default protected
  • return-for-solver
  • pace-2022
  • Stand-Bachelorarbeit
8 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.012Jan1031Dec30Jun131May302827252421201829Apr2828Mar252425Feb2319182129Jan28222019161514723Dec16119229Nov262524232120191413130Oct2624232221181522Sep18Aug1716652131Jul2928272622178Merge branch 'fix-graph-names' into 'main'mainmainMove empty lineReadd fixed exceptionsUse graph name correctlyAdd tracking of single reductio rule runMerge branch 'description-dependencies' into 'main'Make code more beautiful. Remove td as always allowed. This is a breaking change to any importers for "td" problems.Allow loading different problemscheckstylefeature/allow_d…feature/allow_different_exportsnew ExporterMerge branch 'improved-dependencies' into 'main'pace-2022pace-2022Improve library descriptionMerge branch 'description-dependencies' into 'main'Merge branch 'mce' into description-dependenciesApply correct licenseModify description to mention dependenciesMerge branch 'mce' into 'main'Update MCE SolverMerge branch 'mce' into 'main'Fix typosMerge remote-tracking branch 'origin/main' into mceMerge branch 'vcsolver-renaming' into 'main'Attempt to find cause of remaining cycles.Apply a GraphRenaming prior to passing a graph to the native VC solverMerge branch 'mce' into 'main'Ensure vertex ids are within boundsMerge branch 'mce' into 'main'Apply comments from merge requestFollow the path of enlightenment being checkstyle conformImprove clique lower bound but take more timeAttempt integrating mce solverMerge branch 'feature/MoreEfficentAndMoreReadableVisualizer' into 'main'checkstyle"dynamic" text size and not drawing vertices out of viewMerge branch 'package-vcsolver' into 'main'Fix style check issuesPackage the native vc_solver binary and extract it upon use if no local version is presentMerge branch 'feature/flow' into 'main'Add missing JavaDocFix typo