hpXbred
HpXbred est un logiciel open-source dédié à la résolution de systèmes polynomiaux booléens aléatoires. Il met en œuvre l'algorithme décrit dans l'article "A Crossbred Algorithm for Solving Boolean Polynomial Systems" et a été utilisé pour résoudre les plus grands défis booléens sur le site mqchallenge.org.
Cas d'utilisation métiers
Cas d'utilisation fonctionnel
Description générée le mardi 19 mars 2024 à 17:01:26
D'autres initiatives de la même organisation
- coriolisgitlab.lip6.fr/vlsi-eda/coriolis
- modernjsonschemavalidatorgitlab.lip6.fr/jsonschema/modernjsonschemavalidator
- alliancegitlab.lip6.fr/vlsi-eda/alliance
- alliance-check-toolkitgitlab.lip6.fr/vlsi-eda/alliance-check-toolkit