QArena verifier bundle: constadd

Requirements: Python 3.10 or newer; pip install -r requirements.txt

Check the included example (an accepted file):
  python3 -I verifiers/run_one.py constadd add20-d6b5b-a3 example/add20-d6b5b-a3.json

Check your own file:
  python3 -I verifiers/run_one.py constadd <instance> my_file.json

Instances are in instances/constadd/. The output is one line of JSON with status accepted, rejected or error.
Verifier version 9babc904395c. Source: https://qarena.ai/verifiers/
