Update readme.md

readme.md

@@ -1,19 +1,4 @@
-# Conjure-Oxide
 
-This repository contains the in-progress Conjure Oxide constraints modelling
-tool and its dependencies. 
-
-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)
-* [`uniplate` - An implementation of the Haskell Uniplate in Rust](https://github.com/conjure-cp/conjure-oxide/tree/main/crates/uniplate)
-
-This project is being produced by staff and students of University of St
-Andrews, and is licenced under the [MPL 2.0](./LICENCE).
-
-## Rust Nightly Support
 
 The following compiler flags are required for Conjure-Oxide to work with
 Nightly Rust: