Fix docs

Author: radevgit

.cargo/config.toml

@@ -0,0 +1,3 @@
+[build]
+# Documentation configuration
+# rustdocflags = []

Cargo.lock

@@ -1,6 +1,6 @@
 [package]
 name = "zelen"
-version = "0.1.0"
+version = "0.1.1"
 edition = "2024"
 description = "Selen CSP solver parser for FlatZinc"
 rust-version = "1.88"
@@ -12,6 +12,11 @@ repository = "https://github.com/radevgit/zelen"
 documentation = "https://docs.rs/zelen"
 readme = "README.md"
 
+[package.metadata.docs.rs]
+# docs.rs configuration
+default-target = "x86_64-unknown-linux-gnu"
+targets = []
+
 
 [lib]
 crate-type = ["lib"]

Cargo.toml

@@ -2,36 +2,88 @@
 //! 
 //! Zelen provides FlatZinc parsing and integration with the Selen constraint solver.
 //! 
-//! ## Example
+//! ## Quick Start
 //! 
-//! ```rust,ignore
+//! ```rust
 //! use zelen::prelude::*;
 //! 
-//! let mut model = Model::default();
-//! model.from_flatzinc_file("problem.fzn")?;
-//! let solution = model.solve()?;
+//! // Define a simple FlatZinc problem
+//! let fzn = r#"
+//!     var 1..10: x;
+//!     var 1..10: y;
+//!     constraint int_eq(x, 5);
+//!     constraint int_plus(x, y, 12);
+//!     solve satisfy;
+//! "#;
+//! 
+//! // Create solver and solve
+//! let mut solver = FlatZincSolver::new();
+//! solver.load_str(fzn).unwrap();
+//! 
+//! if solver.solve().is_ok() {
+//!     // Get FlatZinc-formatted output
+//!     let output = solver.to_flatzinc();
+//!     assert!(output.contains("x = 5"));
+//!     assert!(output.contains("y = 7"));
+//! }
 //! ```
+//! 
+//! ## Main API
+//! 
+//! The primary way to use Zelen is through the [`FlatZincSolver`] which provides
+//! automatic FlatZinc parsing and spec-compliant output formatting.
+//! 
+//! For more control, you can use the lower-level [`FlatZincModel`] trait or work
+//! with individual modules directly.
+//! 
+//! See the [`prelude`] module for commonly used types and traits.
 
+// Internal implementation modules - hidden from docs by default
+#[doc(hidden)]
 pub mod ast;
 pub mod error;
+#[doc(hidden)]
 pub mod tokenizer;
+#[doc(hidden)]
 pub mod parser;
+#[doc(hidden)]
 pub mod mapper;
+
+// Public API modules
 pub mod output;
 pub mod solver;
 pub mod integration;
 
 pub use error::{FlatZincError, FlatZincResult};
+pub use solver::{FlatZincSolver, FlatZincContext, SolverOptions};
+pub use integration::FlatZincModel;
 
-// Re-export selen for convenience
+// Re-export selen for convenience, but hide its docs since users should refer to selen's own docs
+#[doc(no_inline)]
 pub use selen;
 
-/// Prelude module for common imports
+/// Prelude module for convenient imports.
+///
+/// This module re-exports the most commonly used types and traits.
+/// 
+/// # Example
+/// 
+/// ```rust
+/// use zelen::prelude::*;
+/// 
+/// let mut solver = FlatZincSolver::new();
+/// // ... use solver
+/// ```
 pub mod prelude {
+    //! Commonly used types and traits for working with FlatZinc.
+    
     pub use crate::error::{FlatZincError, FlatZincResult};
-    pub use crate::integration::*;
+    pub use crate::integration::FlatZincModel;
     pub use crate::output::{OutputFormatter, SearchType, SolveStatistics};
     pub use crate::solver::{FlatZincContext, FlatZincSolver, SolverOptions};
+    
+    // Re-export Selen's prelude, but don't inline the docs
+    #[doc(no_inline)]
     pub use selen::prelude::*;
 }