aboutsummaryrefslogtreecommitdiffhomepage
path: root/crates/mozart-sat-resolver/src/lib.rs
diff options
context:
space:
mode:
authornsfisis <nsfisis@gmail.com>2026-05-10 00:32:08 +0900
committernsfisis <nsfisis@gmail.com>2026-05-10 00:32:08 +0900
commit8cc1ba8a02c0318b65658f1634de378c780392b9 (patch)
treefdd5cb61e488018891a486b25991b87c84220bb8 /crates/mozart-sat-resolver/src/lib.rs
parent72b2e877c01e67ba7edd37e34ac2eadb7a1c62c4 (diff)
downloadphp-mozart-8cc1ba8a02c0318b65658f1634de378c780392b9.tar.gz
php-mozart-8cc1ba8a02c0318b65658f1634de378c780392b9.tar.zst
php-mozart-8cc1ba8a02c0318b65658f1634de378c780392b9.zip
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 <noreply@anthropic.com>
Diffstat (limited to 'crates/mozart-sat-resolver/src/lib.rs')
-rw-r--r--crates/mozart-sat-resolver/src/lib.rs25
1 files changed, 0 insertions, 25 deletions
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};