Skip to content

Electrum v0.2

Pre-release
Pre-release

Choose a tag to compare

View all tags
@nmacedo nmacedo released this 22 May 14:55
· 270 commits to master since this release
v0.2
a435344
  • Direct embedding into a temporal extension to Kodkod (Pardinus)
  • Visualizer natively supports temporal solutions
Assets 2
Loading