Kapil Kukreja

icon company Microsoft icon location Code like it's your last repo~ Azure Automation Champ @Microsoft

Results 1 repositories owned by Kapil Kukreja

SatPie

20
Stars
4
Forks
Watchers

SAT solver based on CDCL in Python with Conflict Driven Clause Learning, clever Heuristics - VSIDS, 2 - Literal watch advanced data structure, Random restarts with restart probability decay

verified publisher icon Kapilhk