Code

Draft: New submission framework#35

Code

Closed

bobot wants to merge 7 commits intoSMT-COMP:masterSMT-COMP/smt-comp.github.io:masterfrom bobot:new_submissionbobot/smt-comp.github.io:new_submissionCopy head branch name to clipboard

+1,593-2,137,339

Commits

Commits on Nov 27, 2023

• Initialize poc solver submission

  bobot

  committed
  b24446f

• use https://github.com/yxtay/python-project-template template

  bobot

  committed
  46a5aef

• cleanup template

  bobot

  committed
  c7cd3aa

• initialization with poetry

  bobot

  committed
  366f6d3

• Test validation command

  bobot

  committed
  ba85acc

• [submission] validate, show, submission dir tests

  bobot

  committed
  cf7ea1e

• only python 3.11

  bobot

  committed
  2a2e080