dpsanders / SatisfiabilityInterface.jl

Related projects: ⓘ

• EconometricsBySimulation / AbstractLogic.jl
  An Abstract Reasoning Logic Interface
  ☆15Updated 3 years ago
• tpapp / EponymTuples.jl
  Julia package for deconstructing dispatch on NamedTuples.
  ☆12Updated 3 years ago
• vchuravy / KernelCompiler.jl
  Experimental compiler infrastructure for KernelAbstractions
  ☆16Updated 8 months ago
• tkf / Baselet.jl
  Base API optimized for tuples
  ☆19Updated 4 years ago
• JuliaStaging / JuliaVariables.jl
  The implementation of NameResolution.jl for Julia language.
  ☆29Updated 2 years ago
• MasonProtter / SymbolicTracing.jl
  (experimental) tracing and abstract interpretation with SymbolicUtils.jl
  ☆22Updated 3 years ago
• Jollywatt / SetTheoreticTypes.jl
  Proof of concept for type system with unions, intersections and complements.
  ☆13Updated last year
• JuliaGraphs / GraphsOptim.jl
  A package for graph optimization algorithms that rely on mathematical programming.
  ☆20Updated this week
• dalum / Purses.jl
  Carry your own cache.
  ☆22Updated 4 years ago
• simeonschaub / OptionalArgChecks.jl
  Optional argument checks allow you to omit them when performance is critical.
  ☆10Updated 2 years ago
• JuliaCompilerPlugins / CodeInfoTools.jl
  A utility package for working with Julia's CodeInfo internal representation.
  ☆20Updated 7 months ago
• JuliaSIMD / LLVMLoopInfo.jl
  Pass loop info to LLVM
  ☆21Updated last year
• JuliaPolyhedra / ConvexHull.jl
  A Julia library for polyhedral computations
  ☆13Updated 3 years ago
• eschnett / Contracts.jl
  ☆11Updated 4 years ago
• JuliaSymbolics / SymbolicSAT.jl
  for you with the good questions
  ☆27Updated 3 years ago
• ExpandingMan / Anamnesis.jl
  Fancy memoizing for expensive functions in Julia.
  ☆18Updated 4 years ago
• dpsanders / ExactReals.jl
  Exact real arithmetic in Julia
  ☆13Updated 4 years ago
• JuliaConcurrent / Reagents.jl
  Composable nonblocking and synchronization programming framework
  ☆23Updated last month
• SciML / IfElse.jl
  Under some conditions you may need this function
  ☆19Updated 2 years ago
• sisl / PicoSAT.jl
  Julia bindings to the SAT solver picosat
  ☆29Updated 8 months ago
• dpsanders / ReversePropagation.jl
  ☆52Updated 3 weeks ago
• thautwarm / Virtual.jl
  ☆41Updated last year
• JuliaFolds / SplittablesBase.jl
  a simple API for parallel computation on collections
  ☆16Updated last year
• MrVPlusOne / SmartAsserts.jl
  A drop-in replacement of `Base.@assert` that prints out additional information upon failure.
  ☆17Updated last year
• blegat / SetProg.jl
  Set Programming with JuMP
  ☆20Updated last month
• JuliaVersionControl / GitCommand.jl
  Deprecated. Please use Git.jl instead: https://github.com/JuliaVersionControl/Git.jl
  ☆22Updated 3 years ago
• dfdx / Umlaut.jl
  The Code Tracer
  ☆32Updated 5 months ago
• JuliaCompilerPlugins / Purple.jl
  It's interpreters all the way down.
  ☆13Updated 3 years ago
• JuliaStaging / NameResolution.jl
  A package for your code to understand scoping rules(including mutability of free variables).
  ☆18Updated 2 years ago
• JuliaGraphs / StaticGraphs.jl
  Memory-efficient immutable LightGraphs.
  ☆33Updated 4 months ago