Guillaume Bury
Guillaume Bury
See #211 for an implementation of printers for smtlib v2.6.
Hi, That's very interesting to know ! It's very useful to me to know what features to prioritize, so don't hesitate to report what you need/want Dolmen (and the LSP...
Both: I doubt the free travis CI machines wouldn't fare very well trying to: - download a few Go (the whole smtlib/tptp libraries) for each run, typically free CI infrastructures...
That's a good point, I'll try and split the `Unix`-related things into a separate package when i have the time to do so.
So, the current situation, is that the response to the `(get-assignment)` is simply never read and checked. In this very particular instance, where the `(get-assignment)` follows a `(get-model)`, `dolmen` could...
Also for the record : the regexp used for the list seems to also capture `==` signs that are in strings (for instance in debug printing/logging), potentially yielding quite a...
That's a good question, I think i'll try and raise it on the SMT-LIB2 spec repo to see what the SMT-LIB maintainers think about that. That being said, once I...
After a bit of discussion with other people in the SMT community, it seems that having a canonical unique name for each logic is a desirable property. Therefore, for now...
So actually, this is already done, you just need to make the warning non-fatal and typing will go on and use the `ALL` logic, which can be done by modifying...
Any news on that issue ? I'd really like to use `grace` in [dolmen](https://github.com/Gbury/dolmen), but I don't want to introduce a transitive dependency on `core`.