remove chuffed_rs

Remove chuffed bindings. The chuffed bindings did not build on Redhat machines, interfering with developing Conjure Oxide on lab machines. They also are no longer being actively developed. Closes: #360
conjure-cp · Nov 1, 2024 · 46d611f · 46d611f
1 parent 251bb14
commit 46d611f
Show file tree

Hide file tree

Showing 21 changed files with 2 additions and 507 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -15,8 +15,6 @@ members = [
     "crates/conjure_macros",
     "solvers/kissat",
     "solvers/minion",
-    "solvers/chuffed",
-
 ]
 
 [workspace.lints.clippy]

diff --git a/README.md b/README.md
@@ -7,7 +7,6 @@ This repository hosts the following projects:
 
 * [Conjure Oxide](https://github.com/conjure-cp/conjure-oxide/tree/main/conjure_oxide)
 * [`minion_rs` - Rust bindings to Minion](https://github.com/conjure-cp/conjure-oxide/tree/main/solvers/minion)
-* [`chuffed_rs` - Rust bindings to Chuffed](https://github.com/conjure-cp/conjure-oxide/tree/main/solvers/chuffed)
 
 This project is being produced by staff and students of University of St
 Andrews, and is licenced under the [MPL 2.0](./LICENCE).

diff --git a/doc/index.md b/doc/index.md
@@ -12,7 +12,6 @@ Welcome to the documentation of Conjure Oxide.
 These crates contain Rust bindings for solvers:
 
 * [minion_rs](minion_rs/index.html)
-* [chuffed_rs](chuffed_rs/index.html)
 
 
 ## Developer Documentation
@@ -34,4 +33,4 @@ reference:
 2. Run all tests in the workspace
    ```bash
    cargo test --workspace
-   ```
+   ```
diff --git a/readme.md b/readme.md
@@ -7,7 +7,6 @@ This repository hosts the following projects:
 
 * [Conjure Oxide](https://github.com/conjure-cp/conjure-oxide/tree/main/conjure_oxide)
 * [`minion_rs` - Rust bindings to Minion](https://github.com/conjure-cp/conjure-oxide/tree/main/solvers/minion)
-* [`chuffed_rs` - Rust bindings to Chuffed](https://github.com/conjure-cp/conjure-oxide/tree/main/solvers/chuffed)
 
 This project is being produced by staff and students of University of St
 Andrews, and is licenced under the [MPL 2.0](./LICENCE).

diff --git a/solvers/chuffed/.gitignore b/solvers/chuffed/.gitignore
diff --git a/solvers/chuffed/Cargo.toml b/solvers/chuffed/Cargo.toml
diff --git a/solvers/chuffed/README.md b/solvers/chuffed/README.md
diff --git a/solvers/chuffed/build.rs b/solvers/chuffed/build.rs
diff --git a/solvers/chuffed/build.sh b/solvers/chuffed/build.sh
diff --git a/solvers/chuffed/compile_flags.txt b/solvers/chuffed/compile_flags.txt
diff --git a/solvers/chuffed/src/lib.rs b/solvers/chuffed/src/lib.rs
diff --git a/solvers/chuffed/src/main.rs b/solvers/chuffed/src/main.rs