Test ML4CO-Kit

fix bugs for SATLIBEvaluator #70

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
linux (3.8)	22m 57s
linux (3.9)	22m 48s
linux (3.10)	22m 30s
linux (3.11)	22m 38s
	1h 30m 53s