Allow to use witnesses processing outside of web-interface

mutilin / klever

Klever Git repository read-only mirror

https://forge.ispras.ru/projects/klever

Apache License 2.0

0 stars 1 forks source link

Closed vmordan closed 5 years ago

vmordan commented 5 years ago

Witness processing should be placed into a separate library, which can be used by side applications (similar to MEA in issue #20).

vmordan commented 5 years ago

Done in commit e8cabff