SymbolicSAT.jl

SymbolicSAT.jl copied to clipboard

Shouldn't this be called SymbolicSMT? Looks cool though ;)

dpsanders

Can imagine that this method doesn't exist for correctness reasons, but better to leave term unsimplified than to do this: ```julia @syms a::Real julia> simplify(a > 1.0, Constraints([])) ERROR: Failed...

shashi

This pull request changes the compat entry for the `SymbolicUtils` package from `3.32` to `3.32, 4`. This keeps the compat entries for earlier versions. Note: I have not tested your...

github-actions[bot]

Is it safe to run multiple checks in a threaded for loop?

ArnoStrouwen