Conexp Reader/Writer
mikulatomas opened this issue · 3 comments
mikulatomas commented
Conexp Reader/Writer
RadekJanostik commented
Which format you exactly mean? iThought that conexp is using burneister
cxt...
Dne st 1. 4. 2020 11:58 uživatel Tomáš Mikula <notifications@github.com>
napsal:
… —
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<#9>, or unsubscribe
<https://github.com/notifications/unsubscribe-auth/AAN7XWL5SKM7XNU3UIGVMLTRKMF5PANCNFSM4LYWYSLQ>
.
tomasurbanec commented
ConExp native format *.cex.
Which format you exactly mean? iThought that conexp is using burneister cxt... Dne st 1. 4. 2020 11:58 uživatel Tomáš Mikula notifications@github.com napsal:
…
— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#9>, or unsubscribe https://github.com/notifications/unsubscribe-auth/AAN7XWL5SKM7XNU3UIGVMLTRKMF5PANCNFSM4LYWYSLQ .
tomasurbanec commented
I have just pushed changes solving the problem with tests in <= 3.7. If no bug arises, I think we can close this issue. Maybe we can add some support for other cex file features (lattices, implications, ...) in the future - leads to metadata issue #18 ?