Alternatives and similar repositories for SAT4J:

Users that are interested in SAT4J are comparing it to the libraries listed below

• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated last week
• idsc-frazzoli / tensor
  linear algebra for tensors with symbolic and numeric scalars
  ☆32Updated 5 years ago
• mmhelloworld / jvm-assembler
  JVM bytecode assembler as REST api
  ☆10Updated last year
• slipperyseal / trebuchet
  Trebuchet Transcompiler is a Java to C++ source code translator
  ☆15Updated 3 years ago
• forax / mjolnir
  Thor Hammer and a way to express invokedynamic in Java
  ☆18Updated 4 years ago
• dynamid / jooflux
  JooFlux is a Java agent for dynamic aspect-oriented middlewares.
  ☆26Updated 10 years ago
• vavr-io / vavr-render
  A rendering library, currently housing graph renderers (ascii and graphviz).
  ☆17Updated 7 years ago
• graalvm / openjdk8-jvmci-builder
  Travis based builder for JVMCI JDK8 binaries based on OpenJDK8
  ☆26Updated 4 years ago
• Programming-Systems-Lab / vmvm
  VMVM: Unit Test Virtualization for Java
  ☆26Updated 2 years ago
• SpoonLabs / metamutator
  a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming
  ☆19Updated 2 years ago
• Zarkonnen / Longan
  A flexible pure-Java OCR implementation. Eventually.
  ☆20Updated 10 years ago
• forax / write_your_dynamic_language_runtime
  How to write interpreters or dynamic compilers for dynamically typed languages on top of the JVM
  ☆16Updated last month
• lessthanoptimal / VectorPerformance
  ☆23Updated 4 years ago
• richardstartin / splitmap
  Parallel boolean circuit evaluation
  ☆20Updated 6 years ago
• Ucombinator / jaam
  JVM Abstracting Abstract Machine
  ☆25Updated 6 years ago
• rweng / jb-tree
  Java B+-Tree with features like flexible storage, sort order, serialization, ...
  ☆13Updated 13 years ago
• Pyknic / immutable-array
  Read-only primitive Java arrays backed by Direct Buffers and indexed using 64-bit indexes
  ☆12Updated 7 years ago
• openjdk / tsan
  https://openjdk.org/projects/tsan
  ☆27Updated this week
• ilya-klyuchnikov / faba
  Fast Bytecode Analysis
  ☆15Updated 9 years ago
• usethesource / clair
  C Language Analysis in Rascal
  ☆26Updated 5 months ago
• java-port / clank
  Clank is a Java-port of popular Clang frontend
  ☆38Updated 7 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆111Updated 3 years ago
• Vinhixus / TornadoVM-Ray-Tracer
  A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM
  ☆26Updated 9 months ago
• metamx / bytebuffer-collections
  ByteBuffer collection classes for java and jvm-based languages.
  ☆33Updated 7 years ago
• prova / prova
  ☆36Updated last year
• smarr / TruffleSOM
  A SOM Smalltalk implemented on top of Oracle's Truffle Framework
  ☆34Updated last week
• jnr / jnr-ffi-examples
  jnr-ffi examples
  ☆24Updated last year
• typetools / annotation-tools
  Tools for type annotations in Java
  ☆39Updated this week
• wholeplatform / whole
  Whole Platform Language Workbench
  ☆27Updated 11 months ago
• lessthanoptimal / Java-Matrix-Benchmark
  Java Matrix Benchmark is a tool for evaluating Java linear algebra libraries for speed, stability, and memory usage.
  ☆59Updated last year