Explicitly check for THOT_OK when loading SMT model #91

	name: Wheels

	on:
	workflow_dispatch:
	pull_request:
	push:
	branches:
	- master
	tags:
	- v*
	release:
	types:
	- published

	jobs:
	build_sdist:
	name: Build SDist
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	with:
	submodules: true

	- name: Build SDist
	run: pipx run build --sdist

	- name: Check metadata
	run: pipx run twine check dist/*

	- uses: actions/upload-artifact@v3
	with:
	path: dist/*.tar.gz

	build_wheels:
	name: Wheels on ${{ matrix.os }}
	runs-on: ${{ matrix.os }}
	strategy:
	fail-fast: false
	matrix:
	os: [ubuntu-latest, windows-latest, macos-latest]

	steps:
	- uses: actions/checkout@v3

	- name: Install OpenMP on macOS
	if: matrix.os == 'macos-latest'
	run: HOMEBREW_NO_INSTALLED_DEPENDENTS_CHECK=1 brew reinstall --build-from-source --formula ./libomp.rb

	- uses: pypa/cibuildwheel@v2.12.0
	env:
	CIBW_ARCHS_LINUX: x86_64
	CIBW_ARCHS_MACOS: x86_64
	CIBW_ARCHS_WINDOWS: AMD64 x86
	CIBW_SKIP: pp* cp36-* cp-musllinux
	CIBW_TEST_EXTRAS: test
	CIBW_TEST_COMMAND: pytest {project}/tests

	- name: Verify clean directory
	run: git diff --exit-code
	shell: bash

	- name: Upload wheels
	uses: actions/upload-artifact@v3
	with:
	path: wheelhouse/*.whl

	upload_all:
	name: Upload if release
	needs: [build_wheels, build_sdist]
	runs-on: ubuntu-latest
	if: startsWith(github.ref, 'refs/tags/v')
	# if: github.event_name == 'release' && github.event.action == 'published'

	steps:
	- uses: actions/setup-python@v2

	- uses: actions/download-artifact@v3
	with:
	name: artifact
	path: dist

	- uses: pypa/gh-action-pypi-publish@v1.4.2
	with:
	user: __token__
	password: ${{ secrets.PYPI_API_TOKEN }}

Provide feedback