Popular repositories Loading

1. cloudcomputecannon cloudcomputecannon Public

   Forked from Autodesk/cloud-compute-cannon

   Cloud Compute Cannon is a tool aimed at scientists and more general users who want to use cheap cloud providers (such as Amazon) to perform large scale computes (number crunching).

   Haxe 1

2. fold fold Public

   Forked from edemaine/fold

   FOLD file format for origami models, crease patterns, etc.

   CoffeeScript 1

3. minisat minisat Public

   Forked from niklasso/minisat

   A minimalistic and high-performance SAT solver

   C++

4. minisat-examples minisat-examples Public

   Forked from niklasso/minisat-examples

   Collection of examples for the MiniSat API

   C++

5. minisatp minisatp Public

   Forked from niklasso/minisatp

   The Pseudo-Boolean Solver MiniSat+

   C++

6. minisat-c-bindings minisat-c-bindings Public

   Forked from niklasso/minisat-c-bindings

   C-Bindings to MiniSat

   C++