Fortress v0.4.19 released

Fortress v0.4.19 has been released.
Added by Andrei Tatarnikov 11 months ago

The new release contains the following changes:

  • New interface TreeVisitor for visitors of hierarchical structures
  • ExprTreeVisitor methods onRootBegin and onRootEnd are renamed to onBegin and onEnd
  • New BitVector method: repeat
  • New ExprUtils methods: isOperation, isValue, isVariable
  • Several bug fixes and code improvements

The library can be downloaded from here: http://forge.ispras.ru/projects/solver-api/files


Comments