lev/psat
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 3f54ad3f6e Commit most recent local copy feature/gpu-adapt gothictomato 2025-04-05 22:32:13 -04:00
  • 53a580d0ec CSFLOC rewrite gothictomato 2022-09-04 10:52:28 -04:00
  • e2b633c802 Working to make OpenCL recognize the limitations of the device its on, as well as reusing the OpenCL kernel/context for multiple runs. gothictomato 2022-08-27 09:11:29 -04:00
  • 84374e23fd Merge pull request #12 from tomatolib/feature/subsumption-early develop gothictomato 2022-08-21 13:07:03 -04:00
  • 4c111f4b6f Early subsumption complete gothictomato 2022-08-21 12:49:48 -04:00
  • a1b6cdaea9 Progress on early subsumption gothictomato 2022-08-18 22:04:52 -04:00
  • a0e1d4f5b4 Added new CNF format feature/subsumption-tree gothictomato 2022-07-24 17:47:31 -04:00
  • 8e34675408 Initial progress on subsumption DFA. Why is this branch called subsumption-tree? gothictomato 2022-07-21 10:56:05 -04:00
  • 1d938273f3 Changed main.c back to normal run mode from testing master gothictomato 2022-07-18 12:46:04 -04:00
  • b5551c4fc9 Merge branch 'develop' gothictomato 2022-07-18 02:25:35 -04:00
  • 5d3812b998 Added more comments to cnf.c gothictomato 2022-07-18 02:19:32 -04:00
  • 63810804fb Added some comments, fixed what I think is a bug in the clause sorting. gothictomato 2022-07-18 02:05:22 -04:00
  • c6b26ba03d Merge pull request #2 from tomatolib/feature/test-integration gothictomato 2022-07-17 21:47:29 -04:00
  • 511ab6c8d8 Changed main.c back to normal run mode from testing gothictomato 2022-07-17 21:42:47 -04:00
  • 7ce1e80739 Added test cases gothictomato 2022-07-17 21:40:34 -04:00
  • d0c45b3d73 Merge pull request #1 from tomatolib/develop gothictomato 2022-07-17 20:56:23 -04:00
  • c7a2f3f95a Fixed CMakeLists.txt gothictomato 2022-07-17 19:23:53 -04:00
  • e5df861d66 Create README.md GothicTomato 2022-07-17 14:13:02 -04:00
  • 2ad31d53e3 Initial commit. gothictomato 2022-07-17 14:03:47 -04:00