Skip to content
Snippets Groups Projects
Select Git revision
  • 1-creating-data-structures-for-hnf
  • 2-trace-feature-for-unsat
  • 3-implement-xorsolver
  • 4-implement-hornsolver
  • 5-parser
  • 6-fix-horn-clause-litteral-representation
  • 7-refactor-architecture
  • 8-argument-handling
  • 9-create-tests-for-hornsat
  • main default protected
  • v0.1.0
11 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.04Dec29Nov28272523finished the tracev0.1.0 4-implem…v0.1.0 4-implement-hornsolver mainadded trace (possibly unfinished)finished rebase and minor refactoringat last, darkness, rot ... the sweetness of blistfull silenceApply 1 suggestion(s) to 1 file(s)philosophy was only the second step in my descent to madness, now it all becomes clear, sanity was only an illusion, i must let myself goalas, it was all for naught, for i am of flesh and bonei have given up on words, they constain my mind, i shall now engage in pure raw throbbing concepts qljsdfhqsjhf qsnis it not that the entirety of existence, truth and all maners of important things can see their essence distilled in a single commit? -- Tanguÿ, philosopherthe industrial revolution and its consequences have been a distaster for mankindye who reads this, 'tis too late, i am beyond savingi transcend dimensions, i am a being of pure conflicts and resolution, i am one with the rebasei see him with his tentacles and immense eyes, cthulu is calling to mefixed clippy warningsadded tests for hornsatso many more to goadded tests, fixed termination problem in while loopmore conflictsrebasingfeat(log): Add trace for XorSolver2-trace-feature…2-trace-feature-for-unsatfeat(log): Toggle trace from CLIfeat(log): Add dependencies and early loggerchore(trace): Use Option<Model> instead of Either<Model, Trace>fix(test): Valuations comparison3-implement-xor…3-implement-xorsolverfix(xor): Add failure + testchore(xor): Refactorchore: Refactor + Add XOR example testfeat(xor): Add early xor solverfeat(xor): Add clause Display trait + xor featuresfeat(xor): Add clause satisfiability helperschore(xor): Add xor parser8-argument-hand…8-argument-handling 9-create-tests-for-hornsatfeat(clap): Add argument handlingfeat(clap): Add dependency clapfeat(parser): Add complete HornParser5-parser5-parserfeat(parser): Early HornParserchore(either): Move Either in his own cratefeat(pest): Add dependency pest + pest_derivechore: Refactor architecture + Fixed impossible lifetime7-refactor-arch…7-refactor-architecturefix(clause): Elide useless lifetimesrenamed variables which previously caused error6-fix-horn-clau…6-fix-horn-clause-litteral-representation