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 8 years ago
Alternatives and similar repositories for SAT4J:
Users that are interested in SAT4J are comparing it to the libraries listed below
- Thor Hammer and a way to express invokedynamic in Java☆18Updated 4 years ago
- https://openjdk.org/projects/tsan☆27Updated this week
- Travis based builder for JVMCI JDK8 binaries based on OpenJDK8☆26Updated 4 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆35Updated 3 weeks ago
- JooFlux is a Java agent for dynamic aspect-oriented middlewares.☆26Updated 9 years ago
- VMVM: Unit Test Virtualization for Java☆26Updated 2 years ago
- A pure Java 7+ build tool with advanced compiler features and strong opinions☆38Updated 3 years ago
- JNI Glue Code Generator☆91Updated 8 months ago
- The Ceylon Web IDE☆25Updated 6 years ago
- Java memoization library☆18Updated last year
- A real-time ray tracer in Java, accelerated on heterogeneous hardware using TornadoVM☆25Updated 8 months ago
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last month
- Trebuchet Transcompiler is a Java to C++ source code translator☆15Updated 2 years ago
- Read-only primitive Java arrays backed by Direct Buffers and indexed using 64-bit indexes☆12Updated 7 years ago
- Java Software Transactional Memory☆57Updated 4 years ago
- Java library for packaging native libraries, executables, and resources for runtime within jar files☆17Updated 2 months ago
- linear algebra for tensors with symbolic and numeric scalars☆32Updated 5 years ago
- Banana is a Java primitive collections library with its own memory management☆72Updated 3 years ago
- ☆12Updated 4 years ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆18Updated 2 years ago
- Polyglot Extensible Compiler Framework for Java☆110Updated 3 years ago
- Master repository for the JHeaps project☆47Updated 4 years ago
- Layout prototype for project Panama☆22Updated 8 years ago
- ☆17Updated 3 weeks ago
- ☆23Updated 3 years ago
- a book about declarative language definition☆23Updated 8 years ago
- JVM bytecode assembler as REST api☆10Updated last year
- A SOM Smalltalk implemented on top of Oracle's Truffle Framework☆34Updated last week
- A fluent API for generating Java byte code☆14Updated 11 years ago
- A complement to ANTLR to get a model from your AST and transform it☆15Updated 4 years ago