3 Commits

Author	SHA1	Message	Date
Laurent Perron	44e52c1ef8	mostly PascalCase -> sname_case	2018-11-20 05:44:21 -08:00
Laurent Perron	1b56c047b1	polish python code	2018-11-16 16:54:37 -08:00
Laurent Perron	786e9399e4	qubo example in SAT	2018-11-12 08:17:28 +01:00