 | Scalaz3.A JNI Bindings-Pack, mit dem Sie Scala und Z3 verwenden können |
| Jetzt downloaden | |
Scalaz3. Ranking & Zusammenfassung
Anzeige
Scalaz3. Stichworte
Scalaz3. Beschreibung
SCALAZ3 ist eine Scala-Schnittstelle, mit der Sie mit der von Microsoft entwickelten Z3-Anwendung zusammenarbeiten können. Das Paket enthält die JNI-Bindungen, mit denen Sie mit dem SMT-Solver interagieren können. Mit dieser Komponente können Sie die Fähigkeiten der Scala-Programmiersprache mit den Thenorem-Nachweisfunktionen des Z3 kombinieren.
Scalaz3. Zugehörige Software
spire.SpreadSheet für WPF ist eine professionelle Tabellenkalkulationskomponente für die WPF-Entwicklung. Kompatibel mit Excel, Zahlen und einem anderen XLS-basierten Tabellenkalkulationsprogramm, Spire.SpreadSheet für WPF ermöglicht dev ...
18.8 MB
Professional Mail Suite für .NET, der alle Mailing-Komponenten enthält ...
26.2 MB
Ein Satz von Dienstprogrammen, um das EVB für alle Präzisionstaktvorrichtungen zu steuern ...
3.8 MB
Über uns