svn2github / SAT4JLinks
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
Sorting:
- JooFlux is a Java agent for dynamic aspect-oriented middlewares.☆26Updated 10 years ago
- Java memoization library☆18Updated last year
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated last week
- Travis based builder for JVMCI JDK8 binaries based on OpenJDK8☆26Updated 4 years ago
- ByteBuffer collection classes for java and jvm-based languages.☆33Updated 7 years ago
- A rendering library, currently housing graph renderers (ascii and graphviz).☆17Updated 7 years ago
- Trebuchet Transcompiler is a Java to C++ source code translator☆15Updated 3 years ago
- A flexible pure-Java OCR implementation. Eventually.☆20Updated 10 years ago
- JVM bytecode assembler as REST api☆10Updated last year
- Lightweight dataflow Java library. Includes various asynchronous constructs, including actors and asynchronous I/O requests.☆96Updated 2 years ago
- SIMD Intrinsics in the JVM☆48Updated 7 years ago
- Polyglot Extensible Compiler Framework for Java☆112Updated 3 years ago
- JavaCL: OpenCL bindings for Java☆89Updated 2 years ago
- a mutation testing engine for Java based on mutant schemata / metamutants / metaprogramming☆20Updated 2 years ago
- A candidate indexed, linked list data structure for OpenJDK.☆17Updated this week
- Read-only primitive Java arrays backed by Direct Buffers and indexed using 64-bit indexes☆12Updated 8 years ago
- A generic compact Trie implementation in Java. Built for high-performance applications.☆45Updated 4 years ago
- Thor Hammer and a way to express invokedynamic in Java☆18Updated 4 years ago
- Query Java object graphs in a typed and streamed fashion☆28Updated 8 years ago
- Java Constraint Programming solver☆226Updated last year
- ☆23Updated 4 years ago
- Link to native C functions via JSR-292 MethodHandles☆20Updated last year
- Tools for type annotations in Java☆39Updated this week
- JasDB OpenSource NoSQL Java based Database☆35Updated 11 months ago
- Layout prototype for project Panama☆22Updated 8 years ago
- ☆17Updated 4 months ago
- SAX parser for JSon and YAML (alpha)☆23Updated 8 years ago
- Efficient Immutable/Persistent Collections for Java☆43Updated 9 months ago
- A MATLAB like user friendly scientific programming environment that uses Groovy as a scripting engine together with JShell of Java 9+☆50Updated 4 years ago
- AirConcurrentMap is a fast, memory efficient Java ConcurrentNavigableMap implementation☆32Updated 7 years ago