Skip to content
@black-sat

BLACK - Bounded Lᴛʟ sAtisfiability ChecKer

Pinned

  1. black black Public

    BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)

    C++ 13 3

Repositories

Showing 8 of 8 repositories
  • immer Public Forked from arximboldi/immer

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

    C++ 0 BSL-1.0 186 0 0 Updated Apr 28, 2024
  • synthetico Public

    Pure-past LTL synthesizer based on BLACK

    C++ 0 MIT 1 0 0 Updated Apr 28, 2024
  • black Public

    BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)

    C++ 13 MIT 3 2 1 Updated Apr 28, 2024
  • homebrew-black Public

    Homebrew formulas for BLACK and related projects

    Ruby 0 0 0 0 Updated Nov 22, 2023
  • purple Public

    Expressive automated planner based on BLACK

    C++ 0 MIT 0 0 0 Updated May 15, 2023
  • sddpp Public

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

    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

    C++ 0 MIT 146 0 0 Updated Jun 12, 2022
  • glucose Public

    Local fork of the glucose SAT solver

    C++ 1 0 0 0 Updated Aug 9, 2020

Top languages

Loading…

Most used topics

Loading…