outdated instructions to build from source

[daylinmorgan]

The following README instructions for building from source are no longer correct:

git clone https://github.com/nim-lang/atlas.git
cd atlas/
nim c src/atlas.nim
# copy src/atlas[.exe] somewhere in your PATH

---

Users additionally need to somehow add nim-lang/sat to the --path.

[elcritch]

The best now would be to use:

git clone https://github.com/nim-lang/atlas.git
cd atlas/
nim build
./bin/atlas --version

Users additionally need to somehow add nim-lang/sat to the --path.

IMHO that should be done via a submodule. However that might break things @narimiran thoughts on that?

Alternatively build task in config.nims could also check if SAT is available and if not clone it. Though if you have Atlas available a you can do atlas install.