changed sat4J version back to 2.3.5 because with version 2.3.6 there … #157

	# This workflow will build a Java project with Gradle
	# For more information see: https://help.github.com/actions/language-and-framework-guides/building-and-testing-java-with-gradle

	name: Opt4J Build & Test

	on:
	push:
	pull_request:
	branches: [ master ]

	jobs:
	build:

	runs-on: ubuntu-latest

	steps:
	- uses: actions/checkout@v4
	- name: Set up JDK 21
	uses: actions/setup-java@v4
	with:
	distribution: 'zulu'
	java-version: '21'
	- name: Grant execute permission for gradlew
	run: chmod +x gradlew
	- name: Build with Gradle
	run: ./gradlew build
	- name: Generate the test report
	run: ./gradlew jacocorootreport
	- name: Run codacy-coverage-reporter
	uses: codacy/codacy-coverage-reporter-action@master
	with:
	project-token: ${{ secrets.CODACY_PROJECT_TOKEN }}
	coverage-reports: ./build/reports/jacoco/rootReport.xml
	- name: Run codacy-analysis-cli
	uses: codacy/codacy-analysis-cli-action@master
	with:
	project-token: ${{ secrets.CODACY_PROJECT_TOKEN }}
	max-allowed-issues: 400

Provide feedback