Aaron Bembenek

@mgree Just to clarify: do you mean `i32` (Formulog's type for a concrete, 32-bit machine integer) instead of `int` (Formulog's type for an SMT math integer)?

Thanks for the suggestion! Just to make sure I understand it correctly: are you referring to assertion levels in the SMT solver that are created with the SMT-LIB `push` and...

@bubaflub Thanks so much for giving Formulog a try and for your proposal of things to cover in a tutorial -- this is very helpful! I'll shoot to put a...

@bubaflub Absolutely! They might turn out to be Formulog issues; even if not, the discussion could be useful for others using Formulog. (I will, however, be slow to reply for...

Actually, it looks like this bug arises in the case of negation more generally, such as in this program: ``` rel a(i32) rel b(i32) b(2). a(0). a(1). a(X + 2)...

Query plans are applied after optimizations (https://github.com/souffle-lang/souffle/issues/2370), and so it risky for us to generate query plans since we do not know what optimizations Souffle will do. A safer alternative...

Thanks for your response! I will work around it for now :)