Skip to content

@AutoProving AutoProving

All

    Repositories list

    7 repositories

    • TreeWidzard-Engine

      Public
      An engine for the development of algorithms parameterized by treewidth
      C++
      •
      MIT License
      •2•0•0•0•Updated May 11, 2026May 11, 2026

    • ParallelBFS

      Public
      C++
      •
      MIT License
      •0•0•0•0•Updated May 18, 2022May 18, 2022

    • GridCSPs

      Public
      ListColoring
      C++
      •
      Other
      •0•1•0•0•Updated Apr 29, 2022Apr 29, 2022

    • ODDs

      Public
      ODD Library
      C++
      •
      Other
      •0•4•0•0•Updated Apr 29, 2022Apr 29, 2022

    • 3TST

      Public
      C++
      •
      MIT License
      •1•3•0•0•Updated Dec 15, 2021Dec 15, 2021

    • LUBP

      Public
      C++
      •
      GNU General Public License v3.0
      •0•0•0•0•Updated Jun 23, 2021Jun 23, 2021

    • TreeAutomataFormalization

      Public
      Coq
      •
      MIT License
      •1•2•0•0•Updated Jan 9, 2021Jan 9, 2021
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.