alt-ergo icon indicating copy to clipboard operation
alt-ergo copied to clipboard

Published 20 hours ago • verified publisher icon OCamlPro

[design] should remove all "sensitive" global refs in lib modules (sat solvers, ...)

Open iguerNL opened this issue 3 years ago • 0 comments

If some soft uses alt-ergo-lib and maintains two instances of the lib's state, this is not correct.

iguerNL avatar Dec 08 '20 16:12 iguerNL