dpsanders / SatisfiabilityInterface.jlLinks
☆16Updated 3 years ago
Alternatives and similar repositories for SatisfiabilityInterface.jl
Users that are interested in SatisfiabilityInterface.jl are comparing it to the libraries listed below
Sorting:
- A package for graph optimization algorithms that rely on mathematical programming.☆20Updated last month
- The implementation of NameResolution.jl for Julia language.☆29Updated 3 years ago
- Base API optimized for tuples☆19Updated 5 years ago
- An Abstract Reasoning Logic Interface☆15Updated 5 years ago
- Julia bindings to the SAT solver picosat☆32Updated 2 years ago
- ☆26Updated 5 years ago
- Symbolic SMT solving for Julia using Z3 on Symbolics.jl expressions☆36Updated last month
- (experimental) tracing and abstract interpretation with SymbolicUtils.jl☆22Updated 4 years ago
- Carry your own cache.☆22Updated 5 years ago
- Arithmetic with small and with very large rationals is made fast.☆23Updated last month
- A package for your code to understand scoping rules(including mutability of free variables).☆18Updated 4 years ago
- Matrices with interval coefficients in Julia☆19Updated 3 weeks ago
- ☆15Updated 5 years ago
- ☆16Updated 4 years ago
- It's interpreters all the way down.☆13Updated 4 years ago
- KaHyPar.jl is a Julia interface to the KaHyPar multilevel hypergraph partitioning package.☆25Updated 2 years ago
- Simple currying in julia☆16Updated 6 years ago
- ☆42Updated 3 years ago
- Distances to sets for MathOptInterface☆27Updated 3 months ago
- Optional argument checks allow you to omit them when performance is critical.☆10Updated 3 years ago
- Under some conditions you may need this function☆19Updated 4 years ago
- A simple static type checker that enforces C-style programming in Julia☆27Updated last year
- Pass loop info to LLVM☆21Updated 2 years ago
- The Code Tracer☆34Updated last year
- Julia implementations of symbolic integration algorithms☆37Updated 4 months ago
- Adds a macro (`@api`) to help manage a consistent API between multiple packages☆10Updated 4 years ago
- The tools for proper interactions between ApproxFun.jl and DifferentialEquations.jl for pseudospectiral partial differential equation dis…☆14Updated 5 years ago
- Provides a simple macro to make readable anonymous functions in Julia☆31Updated 5 years ago
- Sort 1..25 values with conditional swaps☆17Updated last year
- A drop-in replacement of `Base.@assert` that prints out additional information upon failure.☆17Updated 2 years ago