#!/bin/sh
set -e
python3 tests/test_solver.py
