Skip to content
@GridSAT

GridSAT Stiftung

The Great Realization.

Pinned Loading

  1. CNF_FACT-MULT CNF_FACT-MULT Public

    CNF Generator for Factoring Problems

    Haskell 2

  2. NDP-5 NDP-5 Public

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

    C++ 1

  3. cpc-validation cpc-validation Public

    Reference validation framework for Constraint Physical Computing (CPC) and RFC-defined execution backends

    Python

Repositories

Showing 10 of 25 repositories
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…