aig (cargo): Rust Aig library
Keywords: aig|model_checking|formal_method|logic