Add PRISM backend to probably #57

	# This is a basic workflow to help you get started with Actions

	name: CI

	on:
	push:
	branches: [ master ]
	pull_request:
	branches: [ master ]
	workflow_dispatch:

	jobs:
	build:
	runs-on: ubuntu-latest
	env:
	POETRY_VIRTUALENVS_CREATE: false
	steps:
	- uses: actions/checkout@v2
	- uses: actions/setup-python@v2
	with:
	python-version: 3.9
	- name: Set up Poetry cache for Python dependencies
	uses: actions/cache@v2
	if: startsWith(runner.os, 'Linux')
	with:
	path: ~/.cache/pypoetry
	key: ${{ runner.os }}-poetry-${{ hashFiles('**/poetry.lock') }}
	restore-keys: ${{ runner.os }}-poetry-
	- name: Set up pre-commit cache
	uses: actions/cache@v2
	if: startsWith(runner.os, 'Linux')
	with:
	path: ~/.cache/pre-commit
	key: ${{ runner.os }}-pre-commit-${{ hashFiles('.pre-commit-config.yaml') }}
	restore-keys: ${{ runner.os }}-pre-commit-
	- name: Install Poetry
	run: \|
	curl -fsS -o get-poetry.py https://raw.githubusercontent.com/python-poetry/poetry/master/get-poetry.py
	python get-poetry.py -y
	echo "$HOME/.poetry/bin" >> $GITHUB_PATH
	- name: Install dependencies
	run: \|
	poetry install --no-interaction
	poetry run pysmt-install --z3 --confirm-agreement
	- name: Run linter
	run: make lint
	- name: Run mypy
	run: make mypy
	- name: Run unit tests
	run: make test
	- name: Build docs
	run: \|
	sudo apt-get update && sudo apt-get install -y graphviz
	make docs
	- name: Deploy docs
	if: github.ref == 'refs/heads/master'
	uses: JamesIves/github-pages-deploy-action@4.1.1
	with:
	branch: gh-pages
	folder: docs/build/html

Provide feedback