Skip to content

@black-sat BLACK - Bounded Lᴛʟ sAtisfiability ChecKer

Change the repository type filter

All

    Repositories list

    8 repositories

    • homebrew-black

      Public
      Homebrew formulas for BLACK and related projects
      Ruby
      •0•0•0•0•Updated Oct 1, 2024Oct 1, 2024

    • black

      Public
      BLACK (Bounded Lᴛʟ sAtisfiability ChecKer)
      logictemporal-logicformal-methodsformal-verificationlinear-temporal-logic
      C++
      •
      MIT License
      •3•14•2•0•Updated Oct 1, 2024Oct 1, 2024

    • synthetico

      Public
      Pure-past LTL synthesizer based on BLACK
      C++
      •
      MIT License
      •1•0•0•0•Updated Aug 19, 2024Aug 19, 2024

    • immer

      Public
      Postmodern immutable and persistent data structures for C++ — value semantics at scale
      C++
      •
      Boost Software License 1.0
      •181•0•0•0•Updated Apr 28, 2024Apr 28, 2024

    • purple

      Public
      Expressive automated planner based on BLACK
      C++
      •
      MIT License
      •0•0•0•0•Updated May 15, 2023May 15, 2023

    • sddpp

      Public
      SDD++: a modern C++ wrapper for the SDD library
      C
      •
      Other
      •0•0•0•0•Updated Apr 8, 2023Apr 8, 2023

    • clipp

      Public
      easy to use, powerful & expressive command line argument parsing for modern C++ / single header / usage & doc generation
      C++
      •
      MIT License
      •150•0•0•0•Updated Jun 12, 2022Jun 12, 2022

    • glucose

      Public
      Local fork of the glucose SAT solver
      C++
      •
      Other
      •0•1•0•0•Updated Aug 9, 2020Aug 9, 2020