note.md

• Check pip list
• Adjust neuralSat script
• Update epochs
• Kill zombie pkill -9 -f main.py
• should we update memory??

Mission

SwarmHost

• missing yaml

Mnbab

• need to run source setup.sh
• missin dill, tqdm, tensorflow,

Marabou

• find a way to work around conda run -n swarmhost python -m swarm_host $@

• Integrate with ReluSplitter