diff options
| author | nsfisis <nsfisis@gmail.com> | 2026-05-10 00:32:08 +0900 |
|---|---|---|
| committer | nsfisis <nsfisis@gmail.com> | 2026-05-10 00:32:08 +0900 |
| commit | 8cc1ba8a02c0318b65658f1634de378c780392b9 (patch) | |
| tree | fdd5cb61e488018891a486b25991b87c84220bb8 /crates/mozart-sat-resolver/src/lib.rs | |
| parent | 72b2e877c01e67ba7edd37e34ac2eadb7a1c62c4 (diff) | |
| download | php-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.rs | 25 |
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}; |
