[CP-SAT] remove unused pure sat code; cleanup sat_runner #234

	# ref: https://github.com/actions/runner-images
	name: amd64 MacOS Bazel

	on: [push, pull_request]

	jobs:
	# Building using the github runner environement directly.
	bazel:
	runs-on: macos-latest
	strategy:
	matrix:
	python-version: ['3.8', '3.9', '3.10', '3.11']
	fail-fast: false
	steps:
	- name: Check out repository code
	uses: actions/checkout@v3
	- name: Set Java to OpenJDK 17 (Temurin)
	uses: actions/setup-java@v3
	with:
	distribution: 'temurin'
	java-version: '17'
	- name: Check mvn
	run: mvn --version
	- name: Setup Python
	uses: actions/setup-python@v3
	with:
	python-version: ${{ matrix.python-version }}
	- name: Check Python
	run: python --version
	- name: Install Bazel
	run: \|
	brew update
	brew unlink bazelisk
	brew install bazel
	- name: Check Bazel
	run: bazel version
	- name: Build
	run: >
	bazel build
	-c opt
	--action_env=BAZEL_CXXOPTS="-std=c++17"
	--subcommands=true
	//ortools/... //examples/...
	- name: Test
	run: >
	bazel test
	-c opt
	--action_env=BAZEL_CXXOPTS="-std=c++17"
	--test_output=errors
	//ortools/... //examples/...

Provide feedback