svn2github / SAT4J
This is a clone of an SVN repository at svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk. It had been cloned by http://svn2github.com/ , but the service was since closed. Please read a closing note on my blog post: http://piotr.gabryjeluk.pl/blog:closing-svn2github . If you want to continue synchronizing this repo, look at https://github.…
☆9Updated 7 years ago
Alternatives and similar repositories for SAT4J:
Users that are interested in SAT4J are comparing it to the libraries listed below
- Trebuchet Transcompiler is a Java to C++ source code translator☆14Updated 2 years ago
- JooFlux is a Java agent for dynamic aspect-oriented middlewares.☆26Updated 9 years ago
- Travis based builder for JVMCI JDK8 binaries based on OpenJDK8☆26Updated 4 years ago
- Clank is a Java-port of popular Clang frontend☆38Updated 7 years ago
- Whole Platform Language Workbench☆27Updated 8 months ago
- Utility classes for dense and sparse matrices in JCuda☆11Updated 5 years ago
- Thor Hammer and a way to express invokedynamic in Java☆18Updated 4 years ago
- A pure Java 7+ build tool with advanced compiler features and strong opinions☆38Updated 2 years ago
- JNI Glue Code Generator☆91Updated 6 months ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆18Updated 2 years ago
- A complement to ANTLR to get a model from your AST and transform it☆15Updated 4 years ago
- A rendering library, currently housing graph renderers (ascii and graphviz).☆17Updated 7 years ago
- Read-only primitive Java arrays backed by Direct Buffers and indexed using 64-bit indexes☆12Updated 7 years ago
- Java Concolic Unit Testing Engine☆88Updated 10 years ago
- Apache Commons Weaver☆21Updated last week
- ☆22Updated 8 years ago
- A Java compiler plugin that turns Java into a mostly dynamically typed language☆10Updated 9 years ago
- a concolic testing engine for Java☆102Updated 7 years ago
- Patched version of the Trove 3 library - changes the Collections semantics to match proper java.util.Map semantics☆27Updated 2 months ago
- ☆29Updated last week
- IntelliJ & Eclipse plugin for monitoring how Java applications are developed and tested☆19Updated 6 years ago
- JavaCL: OpenCL bindings for Java☆88Updated 2 years ago
- Examples on how to use the Spoon Java source code transformation library☆86Updated 2 years ago
- JLaTo - a Java Language Tools library☆10Updated 5 years ago
- Parser for small subset of markdown☆20Updated 8 years ago
- Java memoization library☆18Updated last year
- Maven Plugin for running Facebook Infer☆16Updated 5 years ago
- VMVM: Unit Test Virtualization for Java☆26Updated 2 years ago
- Computes Java classes or packages dependencies, SCCs (Tarjan algorithm), or cycles (Johnson algorithm), through API or command line.☆11Updated last year
- C Language Analysis in Rascal☆25Updated 3 months ago