Remove internal A* search for Cartesian CEGAR. #171

	---
	name: Code style tests

	on:
	push:
	branches: [main, issue, release-, scorpion]
	pull_request:
	branches: [main, issue, release-, scorpion]

	jobs:
	style:
	name: Test code style
	runs-on: ubuntu-22.04
	steps:
	- name: Clone repository
	uses: actions/checkout@master

	- name: Install Python
	uses: actions/setup-python@master
	with:
	python-version: '3.10'

	- name: Install dependencies
	run: \|
	pip3 install tox
	sudo apt-get -y install clang-tidy-12

	- name: Install uncrustify
	run: \|
	# Set up uncrustify.
	wget https://github.com/uncrustify/uncrustify/archive/uncrustify-0.67.tar.gz
	tar xzf uncrustify-0.67.tar.gz
	cd uncrustify-uncrustify-0.67
	mkdir build
	cd build
	cmake ../
	make -j2
	mv uncrustify ../../
	cd ../../
	rm -rf uncrustify-0.67.tar.gz uncrustify-uncrustify-0.67

	- name: Run code style tests
	run: \|
	export PATH="$(pwd):$PATH" # Add uncrustify to path.
	cd misc/
	tox -e style,clang-tidy

	...

Provide feedback