From 8cc1ba8a02c0318b65658f1634de378c780392b9 Mon Sep 17 00:00:00 2001 From: nsfisis Date: Sun, 10 May 2026 00:32:08 +0900 Subject: refactor(workspace): consolidate crates into mozart-core Merged mozart-archiver, mozart-autoload, mozart-registry, mozart-sat-resolver, and mozart-vcs into mozart-core to align the source layout with Composer's structure. Co-Authored-By: Claude Sonnet 4.6 --- crates/mozart-sat-resolver/src/lib.rs | 25 ------------------------- 1 file changed, 25 deletions(-) delete mode 100644 crates/mozart-sat-resolver/src/lib.rs (limited to 'crates/mozart-sat-resolver/src/lib.rs') diff --git a/crates/mozart-sat-resolver/src/lib.rs b/crates/mozart-sat-resolver/src/lib.rs deleted file mode 100644 index 2e3fefb..0000000 --- a/crates/mozart-sat-resolver/src/lib.rs +++ /dev/null @@ -1,25 +0,0 @@ -pub mod decisions; -pub mod error; -pub mod policy; -pub mod pool; -pub mod pool_builder; -pub mod problem; -pub mod request; -pub mod rule; -pub mod rule_set; -pub mod rule_set_generator; -pub mod rule_watch_graph; -pub mod solver; -pub mod transaction; - -// Re-export key types for public API -pub use error::SolverError; -pub use policy::DefaultPolicy; -pub use pool::{Literal, PackageId, Pool, PoolLink, PoolPackage, PoolPackageInput}; -pub use pool_builder::{PoolBuilder, make_pool_links}; -pub use request::Request; -pub use rule::{ReasonData, Rule, RuleReason}; -pub use rule_set::RuleSet; -pub use rule_set_generator::RuleSetGenerator; -pub use solver::{Solver, SolverResult}; -pub use transaction::{LockTransaction, Operation, Transaction}; -- cgit v1.3.1