From 67f51ee96773deb9e5503f3d06046a1695288eb2 Mon Sep 17 00:00:00 2001 From: Azzaare Date: Sat, 5 Oct 2024 16:45:29 +0900 Subject: [PATCH] Update doc with PatternFolds --- docs/Manifest.toml | 10 ++++++---- docs/Project.toml | 1 + docs/make.jl | 9 +++++---- docs/src/constraints/61_pattern_folds.md | 7 +++++++ ..._constraint_domains.md => 62_constraint_domains.md} | 0 .../{62_constraints_jl.md => 63_constraints_jl.md} | 0 docs/src/index.md | 5 +++-- 7 files changed, 22 insertions(+), 10 deletions(-) create mode 100644 docs/src/constraints/61_pattern_folds.md rename docs/src/constraints/{61_constraint_domains.md => 62_constraint_domains.md} (100%) rename docs/src/constraints/{62_constraints_jl.md => 63_constraints_jl.md} (100%) diff --git a/docs/Manifest.toml b/docs/Manifest.toml index 289875f..3828b49 100644 --- a/docs/Manifest.toml +++ b/docs/Manifest.toml @@ -2,7 +2,7 @@ julia_version = "1.10.5" manifest_format = "2.0" -project_hash = "c9214e2dba2ff082d61a205904a0de33964d7dfb" +project_hash = "f48021d04a612c69eaeb305defa0e1067166fe92" [[deps.ANSIColoredPrinters]] git-tree-sha1 = "574baf8110975760d391c710b6341da1afa48d8c" @@ -253,8 +253,8 @@ version = "2.4.2" [[deps.ConstraintCommons]] deps = ["Dictionaries", "TestItems"] -git-tree-sha1 = "d02bf23ecd60f1c9bf02b6e88e7aae185ece2d04" -repo-rev = "doc" +git-tree-sha1 = "6328878811c5574a5701eb3645b170572339ac28" +repo-rev = "main" repo-url = "https://github.com/JuliaConstraints/ConstraintCommons.jl.git" uuid = "e37357d9-0691-492f-a822-e5ea6a920954" version = "0.2.3" @@ -1054,7 +1054,9 @@ version = "2.8.1" [[deps.PatternFolds]] deps = ["Intervals", "Lazy", "Random", "Reexport", "TestItemRunner", "TestItems"] -git-tree-sha1 = "21fb4c221aca131474a886a015a3cd5b1a42b6d2" +git-tree-sha1 = "0698e974b926f0e24019a42fc78fe8498f2f1f04" +repo-rev = "main" +repo-url = "https://github.com/JuliaConstraints/PatternFolds.jl.git" uuid = "c18a7f1d-76ad-4ce4-950d-5419b888513b" version = "0.2.5" diff --git a/docs/Project.toml b/docs/Project.toml index 16b02f4..5e6dbec 100644 --- a/docs/Project.toml +++ b/docs/Project.toml @@ -11,5 +11,6 @@ Documenter = "e30172f5-a6a5-5a46-863b-614d45cd2de4" DocumenterVitepress = "4710194d-e776-4893-9690-8d956a29c365" LocalSearchSolvers = "2b10edaa-728d-4283-ac71-07e312d6ccf3" MetaStrategist = "989f9ba8-86ac-4138-b458-047055bae907" +PatternFolds = "c18a7f1d-76ad-4ce4-950d-5419b888513b" PerfChecker = "6309bf6b-a531-4b08-891e-8ee981e5c424" QUBOConstraints = "110b7fcc-6942-4061-a625-86e03d1de7cf" diff --git a/docs/make.jl b/docs/make.jl index fdf0790..09e6b63 100644 --- a/docs/make.jl +++ b/docs/make.jl @@ -7,6 +7,7 @@ using PerfChecker # Constraints using ConstraintCommons +using PatternFolds using ConstraintDomains using Constraints using ConstraintModels @@ -28,8 +29,7 @@ using MetaStrategist makedocs(; modules=[ PerfChecker, - ConstraintCommons, ConstraintDomains, Constraints, ConstraintModels, - CompositionalNetworks, QUBOConstraints, ConstraintLearning, + ConstraintCommons, PatternFolds, ConstraintDomains, Constraints, ConstraintModels, CompositionalNetworks, QUBOConstraints, ConstraintsTranslator, ConstraintLearning, LocalSearchSolvers, CBLS, #ConstraintExplorer, MetaStrategist, @@ -79,8 +79,9 @@ makedocs(; "Model Catalog" => "constraints/40_constraint_models.md", "Internals" => [ "ConstraintCommons.jl" => "constraints/60_constraint_commons.md", - "ConstraintDomains.jl" => "constraints/61_constraint_domains.md", - "Constraints.jl" => "constraints/62_constraints_jl.md", + "PatternFolds.jl" => "constraints/61_pattern_folds.md", + "ConstraintDomains.jl" => "constraints/62_constraint_domains.md", + "Constraints.jl" => "constraints/63_constraints_jl.md", ], ], "Learning" => [ diff --git a/docs/src/constraints/61_pattern_folds.md b/docs/src/constraints/61_pattern_folds.md new file mode 100644 index 0000000..da7b0c9 --- /dev/null +++ b/docs/src/constraints/61_pattern_folds.md @@ -0,0 +1,7 @@ +# PatternFolds.jl + +Documentation for `PatternFolds.jl`. + +```@autodocs +Modules=[PatternFolds] +``` diff --git a/docs/src/constraints/61_constraint_domains.md b/docs/src/constraints/62_constraint_domains.md similarity index 100% rename from docs/src/constraints/61_constraint_domains.md rename to docs/src/constraints/62_constraint_domains.md diff --git a/docs/src/constraints/62_constraints_jl.md b/docs/src/constraints/63_constraints_jl.md similarity index 100% rename from docs/src/constraints/62_constraints_jl.md rename to docs/src/constraints/63_constraints_jl.md diff --git a/docs/src/index.md b/docs/src/index.md index bdc685a..a1a7524 100644 --- a/docs/src/index.md +++ b/docs/src/index.md @@ -13,7 +13,7 @@ hero: actions: - theme: brand text: Model, Learn, and Solve! - link: /constraints/intro + link: /constraints/00_intro - theme: alt text: View on Github link: https://github.com/JuliaConstraints/JuliaConstraints.github.io @@ -60,7 +60,7 @@ features:

Solvers

@@ -71,6 +71,7 @@ features:
  • CPLEXCP.jl a Julia interface for CPLEX CP Optimizer.
  • Chuffed.jl a wrapper for the constraint-programming solver Chuffed to Julia.
  • JaCoP.jl a Julia interface for the JaCoP constraint-programming solver.
    • +
  • ConstraintExplorer.jl a MOI/JuMP interface to explore search spaces modeled as CP.

    • JuMP extras

    Constraint Programming is slowly making steps into the main JuMP components. However, some extra resources are available as