42 Commits (master)

Author SHA1 Message Date
Thomas Johnson 56c3434298 Tried to fix the problem, may have made it worse. 3 years ago
Thomas Johnson eada768781 Fixed some things and added multithreaded profiler 3 years ago
Thomas Johnson f2a86bb0ea (and formatted) 3 years ago
Thomas Johnson c20e360c5a un-got 3 years ago
Joshua-Gordon 52e885045d Add CLI 3 years ago
Thomas Johnson 397b310929 Added untested MAXSAT-to-ILP reduction 3 years ago
Thomas Johnson dab651b7ad Added untested ILP solver 3 years ago
Thomas Johnson 3155ea50e9 Made some small optimizations 3 years ago
Thomas Johnson decc7f6e1a Added accuracy estimation to Karmarkar's algorithm, by making some possibly incorrect assumptions 3 years ago
Thomas Johnson bcf0661921 Karmarkar's algorithm go brrrrr 3 years ago
Thomas Johnson c973a92d8f Changed simplex tableau generation to use ndarray types 3 years ago
Thomas Johnson 1c4d6940dc Added simplex tableau conversion 3 years ago
Thomas Johnson daf786bba5 Changed test case 3 years ago
Thomas Johnson b1860636e3 Oops, fixed a breaking change 3 years ago
Thomas Johnson af53b7145b Added some test code for affine scaling -- it doesn't work yet. 3 years ago
Thomas Johnson 89eddd7cf6 Added (currently untested) affine scaling LP solver 3 years ago
Cameron Weinfurt f16a957366 Fixed the same-name duplicate variables problem 3 years ago
Cameron Weinfurt 2f113196b6 Cleaned up improper merge. Builds correctly now. 3 years ago
Thomas Johnson dbe84af033 Generalized variables beyond booleans 3 years ago
Cameron Weinfurt 06dcca25cb Fixed problems that occured during the merge except for one. 3 years ago
Cameron Weinfurt 1a7fe70dc2 Made main actually attempt to MAXSAT 3 years ago
Thomas Johnson 56bb0c4701 Added feature to disable fancier Unicode characters, added some modelines, and employed rustfmt on several files 3 years ago
Thomas Johnson feda4f4d71 Added feature to disable fancier Unicode characters 3 years ago
Cameron Weinfurt 64a356b717 Added testing and docs for the clause generator 3 years ago
Cameron Weinfurt 77eb796a90 Added clause generator 3 years ago
Cameron Weinfurt 19f14f8bc3 Implemented BFS-based solver as benchmark 3 years ago
Thomas Johnson 4026361cda Added some documentation 3 years ago
Thomas Johnson 9e4fd576d7 Added a modeline I forgot 3 years ago
Thomas Johnson dd15b1eec4 Added a MINSAT algorithm 3 years ago
Thomas Johnson 52855a4129 removed broken (for the time being) SAT solver 3 years ago
Thomas Johnson d1d2ec6e57 added a few helpful functions 3 years ago
Thomas Johnson 3a79535e50 Added a very untested SAT solver, since I think I'll need one of those 3 years ago
Thomas Johnson 4e6ac7dee9 Added convenience macros 3 years ago
Thomas Johnson cfa54fe5c3 oops 3 years ago
Thomas Johnson 7171e98d9f Added clause lists 3 years ago
Thomas Johnson 114734ec3c Started work on clauses API 3 years ago
Thomas Johnson 081d73e81d Started work on underlying types 3 years ago
Thomas Johnson f4994e453f test 3 years ago