Skip to content

Activity

Showing most recent first

Update propositional logic resolution to use more efficient implement…

marcluquepushed 1 commit to cpp-port • 4852091…c8c695a • 
on Jan 3, 2024

Fix DIMACS parser test

Force push
marcluqueforce pushed to cpp-port • 96dd296…4852091 • 
on Jan 1, 2024

Deploying to gh-pages from @ 9ddf5cb 🚀

github-actions[bot]pushed 1 commit to gh-pages • 3017f44…a082822 • 
on Jan 1, 2024

Fix some bugs when working with watched literals

Force push
marcluqueforce pushed to master • 4a4191e…9ddf5cb • 
on Jan 1, 2024

Add VSIDS heuristic

marcluquepushed 13 commits to cpp-port • edc106c…96dd296 • 
on Jan 1, 2024

Update DIMACS parser

Force push
marcluqueforce pushed to cpp-port • 506f460…edc106c • 
on Dec 15, 2023

Update DIMACS parser

marcluquepushed 1 commit to cpp-port • f013931…506f460 • 
on Dec 3, 2023

Experiment with new verify statement

marcluquepushed 2 commits to cpp-port • c923677…f013931 • 
on Jul 9, 2023

Sketch main for SAT solver

marcluquepushed 3 commits to cpp-port • 2e6b4d0…c923677 • 
on Jul 3, 2023

Start port to C++

marcluquecreated cpp-port • 2e6b4d0 • 
on Jul 2, 2023