Softpedia
 
HomepageWindowsGamesDriversMacLinuxScripts buttonMobileHandheldNews

WINDOWS CATEGORIES:



GLOBAL PAGES >>
SOFTPEDIA REVIEWS >>
MEET THE EDITORS >>
WEEK'S BEST
  • Bitdefender Total ...
  • Ocster Backup Pro ...
  • Hard Disk Sentinel...
  • FlashFXP [DISCOUNT...
  • DVDFab DVD Copy [D...
  • Kaspersky Internet...
  • Avast! Internet Se...
  • Avira Internet Sec...
  • Webroot SecureAnyw...
  • McAfee Total Prote...
    		•
    Home > Windows > Programming > Components & Libraries
    		  Report malware

    ScalaZ3 3.2
    download button

    No screenshots available
    Downloads: 180  Tell us about an update
    User Rating:
    Rated by:    		 NOT RATED
    0 user(s)
    Developer:

    License / Price:

    Size / OS:

    Last Updated:

    Category:
    Freeware / $0
    521 KB / Windows All

    C: \ Programming \ Components & Libraries

     Read user reviews (0)  Send to friend   Follow (0 users)

    ScalaZ3 description

    A JNI bindings pack that allow you to use Scala and Z3

    ScalaZ3 is a Scala interface that allows you to work with the Z3 application developed by Microsoft. The package includes the JNI bindings that allow you to interact with the SMT solver.

    This component allows you to combine the capabilities of the Scala programming language with the theorem proving features of the Z3.

    Requirements:

    · Scala
    · Z3
    · Java
    · MinGW (for compiling the library)

     


    TAGS:

    		 Scala interface | Z3 interaction | JNI binder | Scala | interface | binder

    Go to top

    WindowsGamesDriversMacLinuxScriptsMobileHandheldNews

    SUBMIT PROGRAM   |   ADVERTISE   |   GET HELP   |   SEND US FEEDBACK   |   RSS FEEDS   |   UPDATE YOUR SOFTWARE   |   ROMANIAN FORUM
    © 2001 - 2013 Softpedia. All rights reserved.
    Softpedia® and the Softpedia® logo are
    registered trademarks of SoftNews NET SRL.    		 Copyright Information | Privacy Policy | Terms of Use