alephc1

Pinned Repositories

• free-storage

  Free Storage is a token application channel for developers/community fans who want to try decentralized storage functions on Crust MainNet.

  Language:TypeScript3843802

• CNF_FACT-MULT

  CNF Generator for Factoring Problems

  Language:Haskell2100

• keybase

  0100

• NDP-5

  Non-deterministic Processor (NDP) - Parallel SAT-Solver with OpenMPI for Unlimited Scalability

  Language:C++10

• NDP-blueprint-all-the-craziness

  Non-Deterministic Processor (NDP) - efficient parallel SAT-solver

  Language:Python0220

• NDP-blueprint-thief

  Non-Deterministic Processor (NDP) - efficient parallel SAT-solver

  Language:Python2300

• NDP-h

  Non-Deterministic Processor (NDP) - efficient parallel SAT-solver - In honor of Youcef Hamadache.

  Language:Python10

• biosat

  Language:Python0000

alephc1's Repositories