Skip to content

Add SMT-COMP results to solver diagram #30

New issue
New issue
Open
Open
Add SMT-COMP results to solver diagram#30
Labels
enhancementsolving
@enzet

Description

@enzet
enzet
opened on Dec 27, 2017

At least, add winners:

  • vampire,
  • veiT,
  • Redlog,
  • SMTInterpol,
  • CaDiCaL,
  • MinkeyRink,
  • COLIBRI,
  • AProVE.

Metadata

Metadata

Assignees

No one assigned

    Labels

    enhancementsolving

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions