We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 59ec61f commit fa04289Copy full SHA for fa04289
src/main/scala/solving/SolverMulti.scala
@@ -1,7 +1,7 @@
1
/**
2
* diff-SAT
3
*
4
- * Copyright (c) 2018-2020 Matthias Nickles
+ * Copyright (c) 2018-2021 Matthias Nickles
5
6
* matthiasDOTnicklesATgmxDOTnet
7
0 commit comments