Skip to content
Pre-release
Pre-release

@nmacedo nmacedo released this May 22, 2018 · 270 commits to master since this release

  • Direct embedding into a temporal extension to Kodkod (Pardinus)
  • Visualizer natively supports temporal solutions
Assets 2
You can’t perform that action at this time.