Similar repositories to dreal/DReal.jl:

• dreal/DReal.jl github similar
• gibiansky/IHaskell github similar
• cswiercz/smale github similar
• psg-mit/marshall github similar
• rdeits/Mayday.jl github similar
• newptcai/BeeEncoder.jl github similar
• coq-contribs/containers github similar
• pluskid/SimpleStructs.jl github similar
• felipenoris/OptimizingIR.jl github similar
• soarlab/FPTaylor github similar
• fcard/ExpressionPatterns.jl github similar
• isovector/compiling-to-categories-redux github similar
• Kolaru/BranchAndPrune.jl github similar
• keean/Compositional-Typing-Inference github similar
• MikeInnes/DiskData.jl github similar
• JuliaArrays/ShowItLikeYouBuildIt.jl github similar
• mit-plv/reification-by-parametricity github similar
• ezyang/hamt github similar
• JuliaAlgebra/StaticPolynomials.jl github similar
• RJDennis/SmolyakApprox.jl github similar
• simonbyrne/Remez.jl github similar
• microsoft/z3guide github similar
• daviddelaat/MultiPoly.jl github similar
• jwmerrill/Pnums.jl github similar
• sisl/PicoSAT.jl github similar
• byuflowlab/Snopt.jl github similar
• JuliaReach/RangeEnclosures.jl github similar
• Keno/ASTInterpreter.jl github similar
• philzook58/rel github similar
• axch/rules github similar
• thautwarm/MatchCore.jl github similar
• JeffreySarnoff/FastRationals.jl github similar
• lairez/ExactPredicates.jl github similar
• arpra-project/arpra github similar
• JuliaAlgebra/SemialgebraicSets.jl github similar
• JuliaMatrices/HierarchicalMatrices.jl github similar
• philzook58/ad-lens github similar
• egraphs-good/snake-egg github similar
• expipiplus1/exact-real github similar
• sisl/ExprRules.jl github similar