Popular repositories Loading

1. utils utils Public

   Forked from Nauchnik/utils

   Utilities for encoding and solving SAT problems

   C++

2. pdsat pdsat Public

   Forked from Nauchnik/pdsat

   Parallel and Distributed SAT solver

   C++

3. PBDD PBDD Public

   Forked from tyler-utah/PBDD

   A simple Python Binary Decision Diagram (BDD) that outputs .dot files. It can also create minimal BDDs. Should be used mostly for educational purposes as it is not very efficient. Try it out online…

   Python

4. martini martini Public

   Forked from go-martini/martini

   Classy web framework for Go

   Go

5. syncthing syncthing Public

   Forked from syncthing/syncthing

   Open Source Continuous File Synchronization

   Go

6. electron electron Public

   Forked from electron/electron

   Build cross platform desktop apps with web technologies

   C++