AutoProving

Pinned Repositories

• ODDs

  ODD Library

  Language:C++40

• 3TST

  Language:C++31

• TreeAutomataFormalization

  Language:Coq21

• GridCSPs

  ListColoring

  Language:C++10

• LUBP

  Language:C++00

• ParallelBFS

  Language:C++00

• TreeWidzard-Engine

  An engine for the development of algorithms parameterized by treewidth

  Language:C++01

AutoProving's Repositories