satgalaxy 0.2.0

satgalaxy-rs is a Rust library that provides Rust bindings for multiple popular SAT solvers
Documentation 
1
2
3

[submodule "satgalaxy-core"]
	path = satgalaxy-core
	url = https://github.com/sat-galaxy/satgalaxy-core.git