Guillaume Bury
Guillaume Bury
Is there a way to know what versions of the dependencies trigger this build failure ?
thanks, i'll look into that
Sorry for being late on this one. So after a bit of searching it appears that the main root of the problem is an unfortunate interaction between dune's `implicit_transitive_deps` and...
Ok, do you want me to make a PR for that ?
I haven't yet thought about this use-case. Currently, I'd say you can get some amount of non-determinism by randomizing the order in which you add clauses to the solver (which...
As far as I can tell, for the pure SAT fragment, DRAT and DRUP are the same thing, right ? If anyone wants to try doing this, it's very easy:...
Concerning the implementation I'd say: - use a record such as `type drawings = { vert : Uchar.t; horiz : Uchar.t; top_left : Uchar.t; top_right : Uchar.t; ... }` for...
Sorry for the delay, I'll try and take a look at this as soon as possible.
Well, looks like this actually broke CI once merged cc @Stevendeo , :p
With the recent merge of #191 it should now be possible for the psmt2 frontend to directly produce terms of type `Typed.t` (by registering a new frontend/input method). So the...