Alternatives and similar repositories for SAT4J

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

• 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
• Programming-Systems-Lab / vmvm
  VMVM: Unit Test Virtualization for Java
  ☆26Updated 3 years ago
• usethesource / vallang
  Generic immutable recursive data representation API targeted at source code models and more.
  ☆35Updated this week
• graalvm / openjdk8-jvmci-builder
  Travis based builder for JVMCI JDK8 binaries based on OpenJDK8
  ☆26Updated 4 years ago
• J9Java / panama-layout-prototype
  Layout prototype for project Panama
  ☆22Updated 8 years ago
• peter-lawrey / SAXophone
  SAX parser for JSon and YAML (alpha)
  ☆23Updated 8 years ago
• richardstartin / splitmap
  Parallel boolean circuit evaluation
  ☆21Updated 6 years ago
• slipperyseal / trebuchet
  Trebuchet Transcompiler is a Java to C++ source code translator
  ☆15Updated 3 years ago
• melix / groovy-bytecode-ast
  A Groovy AST transformation which allows writing the body of a method as bytecode instructions.
  ☆48Updated 8 years ago
• lessthanoptimal / VectorPerformance
  ☆23Updated 4 years ago
• vavr-io / vavr-render
  A rendering library, currently housing graph renderers (ascii and graphviz).
  ☆17Updated 7 years ago
• bodar / jcompilo
  A pure Java 7+ build tool with advanced compiler features and strong opinions
  ☆38Updated 3 years ago
• java-port / clank
  Clank is a Java-port of popular Clang frontend
  ☆38Updated 7 years ago
• Pyknic / immutable-array
  Read-only primitive Java arrays backed by Direct Buffers and indexed using 64-bit indexes
  ☆12Updated 8 years ago
• coderodde / IndexedLinkedList
  A candidate indexed, linked list data structure for OpenJDK.
  ☆17Updated last week
• sgothel / gluegen
  JNI Glue Code Generator
  ☆92Updated 10 months ago
• openjdk / tsan
  https://openjdk.org/projects/tsan
  ☆27Updated this week
• basis-technology-corp / tcl-regex-java
  ☆29Updated last month
• eclipse-openj9 / openj9-utils
  ☆17Updated 3 months ago
• SpoonLabs / metamutator
  a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming
  ☆20Updated 2 years ago
• mernst / ductilej
  A Java compiler plugin that turns Java into a mostly dynamically typed language
  ☆12Updated 9 years ago
• jmarranz / jnieasy
  JNIEasy - Java Native Objects based on JNI
  ☆9Updated last year
• PANTHEONtech / triemap
  Java port of a concurrent trie hash map implementation from the Scala collections library
  ☆29Updated 4 months ago
• jnr / jnr-ffi-examples
  jnr-ffi examples
  ☆24Updated last year
• boilerbay / airconcurrentmap
  AirConcurrentMap is a fast, memory efficient Java ConcurrentNavigableMap implementation
  ☆32Updated 7 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆112Updated 3 years ago
• typetools / annotation-tools
  Tools for type annotations in Java
  ☆39Updated last week
• amishne / llvm-ir-editor
  An LLVM IR Editor plugin for Eclipse
  ☆51Updated 11 years ago
• mmhelloworld / jvm-assembler
  JVM bytecode assembler as REST api
  ☆10Updated last year