link github issue

cpmpy/solvers/pysat.py

@@ -81,7 +81,7 @@ def solvernames():
         from pysat.solvers import SolverNames
         names = []
         for name, attr in vars(SolverNames).items():
-            # issue with cryptosat, so we don't include it in our subsolvers https://github.com/pysathq/pysat/issues/176
+            # issue with cryptosat, so we don't include it in our https://github.com/msoos/cryptominisat/issues/765
             if not name.startswith('__') and isinstance(attr, tuple) and not name == 'cryptosat':
                 if name not in attr:
                     name = attr[-1]