started z3 model checking and implemented known_ne #16

	name: 'Named Branches'
	on: push
	permissions:
	contents: write
	jobs:
	named-branches:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v4
	with:
	# Fetch 100 commits maximum when setting named branches.
	# We can play with this number, but setting this to 0 takes 2 full
	# minutes to checkout the repo.
	fetch-depth: 100
	- uses: Julian/named-branch-action@v1
	with:
	github_token: '${{ secrets.GITHUB_TOKEN }}'

Provide feedback