Star AlbumentationsX on GitHub — it powers this leaderboard

Star on GitHub
← Back to leaderboard
mudler

Algorithm-Sat-Backtracking

mudler/Algorithm-Sat-Backtracking

A switchable Pure Perl SAT solver with backtracking

2stars
View on GitHub
Forks
0
Open issues
0
Watchers
2
Size
0.1 MB
PerlOther
Created: Dec 1, 2014
Updated: Jan 2, 2024
Last push: Oct 5, 2017