3 ms·
In a way, you and every other author who created a SAT solver being used by pysat ARE pysat! :) Another way to look at it is that you are the "giant" in the fa
by natpalmer1776 3y ago
In a way, you and every other author who created a SAT solver being used by pysat ARE pysat! :)
Another way to look at it is that you are the "giant" in the famous quote "If I have seen further than others, it is by standing on the shoulders of giants"