#!/bin/sh
python3 -m pip install -q --user pycosat && python3 -c 'import pycosat;print(pycosat.__version__)'