Alternatives and similar repositories for SAT4J:

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

• SpoonLabs / metamutator
  a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming
  ☆19Updated 2 years ago
• metio / memoization.java
  Java memoization library
  ☆18Updated last year
• forax / mjolnir
  Thor Hammer and a way to express invokedynamic in Java
  ☆18Updated 4 years ago
• lessthanoptimal / VectorPerformance
  ☆23Updated 4 years ago
• dynamid / jooflux
  JooFlux is a Java agent for dynamic aspect-oriented middlewares.
  ☆26Updated 10 years ago
• slipperyseal / trebuchet
  Trebuchet Transcompiler is a Java to C++ source code translator
  ☆15Updated 3 years ago
• coderodde / IndexedLinkedList
  A candidate indexed, linked list data structure for OpenJDK.
  ☆17Updated 4 months ago
• Programming-Systems-Lab / vmvm
  VMVM: Unit Test Virtualization for Java
  ☆26Updated 2 years ago
• bodar / jcompilo
  A pure Java 7+ build tool with advanced compiler features and strong opinions
  ☆38Updated 3 years ago
• arturbosch / jquality
  Static code analysis for Java
  ☆12Updated last year
• akaigoro / df4j
  Lightweight dataflow Java library. Includes various asynchronous constructs, including actors and asynchronous I/O requests.
  ☆96Updated last year
• 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
• mmhelloworld / jvm-assembler
  JVM bytecode assembler as REST api
  ☆10Updated last year
• thomasmueller / tinyStats
  Statistics about data (cardinality estimation, frequent item detection, approximate counting,...)
  ☆15Updated 2 years ago
• boilerbay / airconcurrentmap
  AirConcurrentMap is a fast, memory efficient Java ConcurrentNavigableMap implementation
  ☆32Updated 7 years ago
• jnr / jnr-invoke
  Link to native C functions via JSR-292 MethodHandles
  ☆20Updated last year
• richardstartin / splitmap
  Parallel boolean circuit evaluation
  ☆20Updated 6 years ago
• polyglot-compiler / polyglot
  Polyglot Extensible Compiler Framework for Java
  ☆110Updated 3 years ago
• d-michail / jheaps
  Master repository for the JHeaps project
  ☆47Updated 4 years ago
• Vinhixus / TornadoVM-Ray-Tracer
  A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM
  ☆25Updated 8 months ago
• caligin / tinytypes
  Typed wrappers on native values + framework integrations.
  ☆11Updated last year
• ftomassetti / antlr-plus
  A complement to ANTLR to get a model from your AST and transform it
  ☆15Updated 4 years ago
• ftomassetti / javadoc-extractor
  ☆22Updated 8 years ago
• typetools / annotation-tools
  Tools for type annotations in Java
  ☆39Updated 2 weeks ago
• kiwiproject / kiwi
  A set of Java utilities that we could not find in Guava or Apache Commons...or we just felt like having our own version.
  ☆12Updated last week
• ssadedin / graxxia
  Wrappers for doing Mathematics in Groovy
  ☆22Updated this week
• kdabir / directree
  A Simple DSL to create Directory Tree with Text Files
  ☆15Updated 3 years ago
• gwenn / sqlite-jna
  Java wrapper and Jdbc driver for SQLite using JNA or Bridj or JNR or JNI or JavaCPP or FFM.
  ☆26Updated this week
• bodar / shavenmaven
  A tiny dependency resolver for Java
  ☆30Updated 3 years ago