45 Commits (master)
 

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