http://www.cs.rochester.edu/u/kautz/walksat/ http://www.princeton.edu/~chaff/zchaff.html
https://www.onlinegdb.com/online_c_compiler https://www.jdoodle.com/c-online-compiler
