-
Notifications
You must be signed in to change notification settings - Fork 11
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
[BUG]
Base.showforArray{<:AbstractExpr}does not have an array structurebugSomething isn't workingSomething isn't workingStatus: Open.#92 In elsoroka/Satisfiability.jl;- Status: Open.#77 In elsoroka/Satisfiability.jl;
[BUG] Type piracies, and unbound parameters detected when testing with
Aqua.jlbugSomething isn't workingSomething isn't workingStatus: Open.#74 In elsoroka/Satisfiability.jl;Performance Benchmarks: Comparison with
pySMT,pySAT, andZ3.jlenhancementNew feature or requestNew feature or requestStatus: Open.#72 In elsoroka/Satisfiability.jl;Support for tensors
enhancementNew feature or requestNew feature or requestStatus: Open.#60 In elsoroka/Satisfiability.jl;Why CVC4 doesn't work out-of-the-box
wontfixThis will not be worked onThis will not be worked onStatus: Open.#57 In elsoroka/Satisfiability.jl;Roadmap (Summer 2024 and beyond)
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#46 In elsoroka/Satisfiability.jl;Add support for chaining
enhancementNew feature or requestNew feature or requesthelp wantedExtra attention is neededExtra attention is neededStatus: Open.#45 In elsoroka/Satisfiability.jl;An executable with the right name is not a sufficient condition for a working solver
bugSomething isn't workingSomething isn't workingenhancementNew feature or requestNew feature or requestStatus: Open.#40 In elsoroka/Satisfiability.jl;Support for quantifiers
enhancementNew feature or requestNew feature or requestStatus: Open.#31 In elsoroka/Satisfiability.jl;Infer logic type from expression
enhancementNew feature or requestNew feature or requestStatus: Open.#24 In elsoroka/Satisfiability.jl;- Status: Open.#16 In elsoroka/Satisfiability.jl;