Skip to content
@black-sat

BLACK - Bounded Lᴛʟ sAtisfiability ChecKer

Pinned Loading

  1. black black Public

    BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)

    C++ 14 4

Repositories

Showing 8 of 8 repositories
  • black Public

    BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)

    black-sat/black’s past year of commit activity
    C++ 14 MIT 4 2 0 Updated Oct 30, 2024
  • homebrew-black Public

    Homebrew formulas for BLACK and related projects

    black-sat/homebrew-black’s past year of commit activity
    Ruby 0 0 0 0 Updated Oct 1, 2024
  • synthetico Public

    Pure-past LTL synthesizer based on BLACK

    black-sat/synthetico’s past year of commit activity
    C++ 0 MIT 1 0 0 Updated Aug 19, 2024
  • immer Public Forked from arximboldi/immer

    Postmodern immutable and persistent data structures for C++ — value semantics at scale

    black-sat/immer’s past year of commit activity
    C++ 0 BSL-1.0 191 0 0 Updated Apr 28, 2024
  • purple Public

    Expressive automated planner based on BLACK

    black-sat/purple’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated May 15, 2023
  • sddpp Public

    SDD++: a modern C++ wrapper for the SDD library

    black-sat/sddpp’s past year of commit activity
    C 0 0 0 0 Updated Apr 8, 2023
  • clipp Public Forked from muellan/clipp

    easy to use, powerful & expressive command line argument parsing for modern C++ / single header / usage & doc generation

    black-sat/clipp’s past year of commit activity
    C++ 0 MIT 152 0 0 Updated Jun 12, 2022
  • glucose Public

    Local fork of the glucose SAT solver

    black-sat/glucose’s past year of commit activity
    C++ 1 0 0 0 Updated Aug 9, 2020

Top languages

Loading…

Most used topics

Loading…