Skip to content
@AutoProving

AutoProving

Popular repositories Loading

  1. ODDs ODDs Public

    ODD Library

    C++ 4

  2. 3TST 3TST Public

    C++ 3 1

  3. TreeAutomataFormalization TreeAutomataFormalization Public

    Coq 2 1

  4. GridCSPs GridCSPs Public

    ListColoring

    C++ 1

  5. LUBP LUBP Public

    C++

  6. ParallelBFS ParallelBFS Public

    C++

Repositories

Showing 7 of 7 repositories
  • TreeWidzard-Engine Public

    An engine for the development of algorithms parameterized by treewidth

    AutoProving/TreeWidzard-Engine’s past year of commit activity
    C++ 0 MIT 1 0 0 Updated Feb 12, 2024
  • ParallelBFS Public
    AutoProving/ParallelBFS’s past year of commit activity
    C++ 0 MIT 0 0 0 Updated May 18, 2022
  • GridCSPs Public

    ListColoring

    AutoProving/GridCSPs’s past year of commit activity
    C++ 1 0 0 0 Updated Apr 29, 2022
  • ODDs Public

    ODD Library

    AutoProving/ODDs’s past year of commit activity
    C++ 4 0 0 0 Updated Apr 29, 2022
  • 3TST Public
    AutoProving/3TST’s past year of commit activity
    C++ 3 MIT 1 0 0 Updated Dec 15, 2021
  • LUBP Public
    AutoProving/LUBP’s past year of commit activity
    C++ 0 GPL-3.0 0 0 0 Updated Jun 23, 2021
  • TreeAutomataFormalization Public
    AutoProving/TreeAutomataFormalization’s past year of commit activity
    Coq 2 MIT 1 0 0 Updated Jan 9, 2021

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…