Commit 186b728d authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[doc] cryptominisat citation

parent 95e4280c
......@@ -13,7 +13,7 @@ can be described with the help of propositional logic formulas.
A SAT solver allows us to analyse constraints from models with **several thousands of places and transitions**.
It is used to either give a satisfiability answer, or generate a set of initial activation states
for the boundaries (frontier places) of the system.
Cadbiom uses the free and open source CryptoMinisat solver which happens to be a winner
Cadbiom uses the free and open source CryptoMinisat solver [CryptoMiniSat]_ which happens to be a winner
of the 2010 and 2015 SAT Race competitions [SAT-Race2015]_.
Cadbiom has benefited from a major refactoring over the years. Some particularly costly functions in calculation time
......@@ -116,4 +116,6 @@ Examples
examples
.. [CryptoMiniSat] msoos. CryptoMiniSat 5.0.1 released — with MIT license | Wonderings of a SAT geek [Internet]. Available on: https://www.msoos.org/2016/09/cryptominisat-5-0-1-released-with-mit-license/
.. [SAT-Race2015] SAT-Race 2015 [Internet]. [cited dec 7 2017]. Available on: https://baldur.iti.kit.edu/sat-race-2015/index.php?cat=results
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment