Skip to content
@pindakaashq

pindakaashq

Pinned Loading

  1. pindakaas pindakaas Public

    A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

    Rust 1 2

Repositories

Showing 2 of 2 repositories
  • pindakaas Public

    A Rust library to transform integer and pseudo Boolean constraints into conjunctive normal form

    pindakaashq/pindakaas’s past year of commit activity
    Rust 1 MPL-2.0 2 0 1 Updated Dec 16, 2024
  • cadical Public Forked from arminbiere/cadical

    CaDiCaL SAT Solver

    pindakaashq/cadical’s past year of commit activity
    C++ 0 MIT 136 0 0 Updated Oct 10, 2024

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…