Algebraische Fehlerangriffe

Zur Webseite der Uni Stuttgart

Source Code

 

3BA

In this section you can download the tool 3BA: a Boolean border basis solver with a SAT extension.

For further information, please read README file.

Download 3BA

3BA.zip

Akzeptieren

Diese Webseite verwendet Cookies. Durch die Nutzung dieser Webseite erklären Sie sich damit einverstanden, dass Cookies gesetzt werden. Mehr erfahren, zum Datenschutz