Gavin Peters

pysat doesn't build/install clean from checkout

4

``` $ git clone [email protected]:pysathq/pysat.git $ cd pysat && pip install -e . ``` And sadness ensues. The build fails quickly. Redoing it verbosely, I saw: ``` ... building 'pysolvers'...

Combinators in base factorio now have many more options. Colour selection, multiple expressions and multiple outputs. There's a new type of combinator, too.

Update build instructions to install needed shared libraries

3

It seems that the default build of cryptominisat5 used shared libraries that weren't installed using these build instructions. I've added the (scary) minimal stuff I did that makes it work...