Skip to content

Releases: herrmanno/autotool-solver

v0.1.0.0-rc.6

19 Feb 08:31
Compare
Choose a tag to compare
v0.1.0.0-rc.6 Pre-release
Pre-release
  • parse parenthesis in 'rels' REPL
  • fix bug in relation's 'transitive closure' (#21)

v0.1.0.0-rc.5

18 Feb 22:18
Compare
Choose a tag to compare
v0.1.0.0-rc.5 Pre-release
Pre-release
  • fixes bug in 'hamilton' solver (#16, #17)
  • adds REPLs for 'sets', 'multisets' and 'relations (#19)

v0.1.0.0-rc.4

16 Feb 10:55
Compare
Choose a tag to compare
v0.1.0.0-rc.4 Pre-release
Pre-release
Release Candidate #3 for v0.1.0.0

- include new modes 'tasks', 'version', 'license'
- internal improvements and housekeeping

v0.1.0.0-rc.3

15 Feb 18:43
Compare
Choose a tag to compare
v0.1.0.0-rc.3 Pre-release
Pre-release
Release Candidate #1 for v0.1.0.0

- add task type 'graphparam'
- add task type 'multiset'
- add relation operations 'inverse', 'transitive_cl' and 'reflexive_cl'
- add 'mode' param to tasks that use tree evaluation
- use 'Binding' in some task types to ease pasting from autotool
- add task result type to indicate error / success