Remove walksat from pysa-dpll (#19) #43

	# Author: Humberto Munoz Bauza (humberto.munozbauza@nasa.gov)
	#
	# Copyright © 2023, United States Government, as represented by the Administrator
	# of the National Aeronautics and Space Administration. All rights reserved.
	#
	# The PySA, a powerful tool for solving optimization problems is licensed under
	# the Apache License, Version 2.0 (the "License"); you may not use this file
	# except in compliance with the License. You may obtain a copy of the License at
	# http://www.apache.org/licenses/LICENSE-2.0.
	#
	# Unless required by applicable law or agreed to in writing, software distributed
	# under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR
	# CONDITIONS OF ANY KIND, either express or implied. See the License for the
	# specific language governing permissions and limitations under the License.

	name: dockerfile-tests

	on:
	push:
	branches: [ "pysa-dpll" ]
	pull_request:
	branches: [ "pysa-dpll" ]

	jobs:
	build:
	runs-on: ubuntu-latest

	steps:
	- name: Checkout repository
	uses: actions/checkout@v3

	- name: Check docker container
	run: \|
	docker build . -t pysa-dpll
	echo -e 'p cnf 2 1\n1 2 0' \| docker run -i --rm pysa-dpll sat

Provide feedback