sat-rs

rust/sat-rs

You've already forked sat-rs

Compare commits

base: rust:f3f928f79fc5a99621c04f59b56285d3e0219d03

rust:main rust:mode-tree-extension-in-example rust:serialization-prototyping

compare: rust:eea9b11b3994ddd317b1a68ce931c5d693e059a1

rust:mode-tree-extension-in-example rust:main rust:serialization-prototyping

Author	SHA1	Message	Date
Robin Mueller	eea9b11b39	refactored verification reporter All checks were successful Rust/sat-rs/pipeline/pr-main This commit looks good Details - Use generics instead of trait objects where applicable.	2024-02-26 11:41:42 +01:00