Home Original page

cmplx - Overview

@cmplx

cmplx

Follow

View cmplx's full-sized avatar

Jhon Nik cmplx

Block or report cmplx

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

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++