rohit507

It is not, but without it I get an error saying that Variables are not allowed in that position of `if_then_else`. In practice `True == 1` and `False == 0`...

So, I've got a more representative example of what I'm working with dreal to do. Or at least one possible version thereof. [Here's a gist](https://gist.github.com/rohit507/7c6e9abb7d90b2418c5310a5e05fb27d) with a toy problem. It...

Oh, if the nested forall isn't in your roadmap, I'd appreciate some heads up so I can switch to a more symbolic approach to eliminate the internal quantifier. Thanks.

Sadly nope ``` from dreal.symbolic import * def test_dreal_interface_ortho(): t = Variable('theta',Variable.Real) a = Variable('a',Variable.Bool) b = Variable('b',Variable.Bool) c = Variable('c',Variable.Bool) d = Variable('d',Variable.Bool) fun = logical_imply(logical_and(t < 6.0,t >...

I've been looking to upgrading that dependency, but I've hit a snag with operator generation. Ops have attributes with the "func" type, but that type doesn't seem to have enough...

Here's a modification that adds padding based on the number of chars in the input sequence, so that alignment stays intact at the cost of extra whitespace. Basically I combined...

My current implementation follows, it works some of the time, but testing can still hang on non-termination. ```haskell import Control.Monad.Morph (hoist) import System.Timeout (timeout) -- | Wraps `System.Timeout.timeout :: Int...

Setting tasty-hedgehog aside, it's not clear to me whether my implementation actually puts a time limit on a single run of a test. I'm also not sure how @thumphries's suggestion...