ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. Java Decision Diagram Libraries
  5. Download

Java Decision Diagram Libraries 103

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.0/5 - ‎1 ‎โหวต

เกี่ยวกับ Java Decision Diagram Libraries

โครงการนี้ประกอบด้วยไลบรารีไดอะแกรมการตัดสินใจไบนารี (BDD) ที่แตกต่างกันสองไลบรารี: JBDD: อินเทอร์เฟซ Java ไปยังไลบรารี BDD ยอดนิยมสองไลบรารี CUDD และ BuDDy JDD: ไลบรารี Java ดั้งเดิมที่สนับสนุน BDD, Z-BDD และอื่น ๆ (กราฟ / automata / Petri nets / SAT)

หลักสูตรที่เกี่ยวข้อง

  • Tableflow ฟรี

    Tableflow เป็นเว็บคอมโพเนนต์ Java เพื่อเชื่อมต่อข้อมูลแบบตารางโดยใช้กระบวนทัศน์โฟลว์ข้อมูลที่ปฏิบัติการได้ โครงการนี้รวมถึงส่วนประกอบกริดข้อมูลขั้นสูงเข้ากันได้กับ JSF ที่สร้างขึ้นเพื่อสนับสนุนการกรองการแบ่งหน้าการเรียงลําดับ

  • Internet Packet Debugger ฟรี

    ดีบักเกอร์ตัวกรองดมกลิ่นและตัวบันทึกของแพ็คเก็ตที่ส่งและได้รับโดย Winsock v1 / v2 นอกจากนี้ยังมีฟีเจอร์เช่น BreakPoints ด้วย คุณสามารถแก้ไขแพ็กเก็ตแบบเรียลไทม์ก่อนที่โปรแกรมเป้าหมายจะได้รับหรือส่ง

  • MDGen - Model-driven J2EE code generator ฟรี

    MDGen เป็นตัวสร้างโค้ด J2EE ที่ขับเคลื่อนด้วยแบบจําลอง UML ใช้ XML เพื่ออธิบายแบบจําลองคลาสและใช้เท็มเพลต XSL เพื่อสร้างเซสชัน/เอนทิตี EJBs, รหัส Struts, ตัวบอกการปรับใช้, สคริปต์การสร้าง/ปล่อยฐานข้อมูล, ไฟล์ทรัพยากรและสคริปต

  • mySQL32 ฟรี

    mySQL32, C++ Class dll API ที่ออกแบบมาสําหรับห่อหุ้ม MySQL C API เป็นวิธีการที่ง่ายสมาชิกและรูปแบบ objet สําหรับนักพัฒนาที่ต้องการใช้ mySQL ในแอปพลิเคชันของคุณโดยไม่ต้องโทรโดยตรง MySQL C API หรือ ODBC

  • MultiViL ฟรี

    MultiViL เป็นเครื่องมือสําหรับการเรียนรู้หลายมุมมอง รองรับสี่ classifiers (KNN, Naive-Bayes, Rochio และ SVM-Perf), สี่มุมมองรวมวิธีการ (ส่วนใหญ่โหวต, Borda Count, Dempster-Shafer ทฤษฎีของหลักฐานและ PSO) และให้เครื่องมือ anali

  • Alexis Make ฟรี

    รักษาซอฟต์แวร์ของคุณด้วย amake (ยูทิลิตี้สร้างสําหรับนักพัฒนา) รองรับการจดจํารูปแบบที่แข็งแกร่งและการเปลี่ยนแปลง สามารถใช้ makefile เดียวเพื่อคอมไพล์ทั้งโครงการ

  • pypnetcdf ฟรี

    PyPNetCDF เป็นแพคเกจ Python ที่ใช้ตัวเลขที่อนุญาตให้อ่านและ/ หรือเขียนไปยังไฟล์ NetCDF ในสภาพแวดล้อมแบบขนานโดยใช้ MPI และอินเทอร์เฟซที่สร้างขึ้นไปยังไลบรารี PnetCDF วัตถุมีความคล้ายคลึงกับคําจํากัดความของ Konrad Hinsen แต่ในท

  • libbinxml ฟรี

    ไลบรารี BINXML ถูกสร้างขึ้นเพื่อเติมเต็มความต้องการวิธีที่มีประสิทธิภาพในการฝังข้อมูลไบนารีภายในแฟ้ม xml มันให้กิจวัตรสําหรับการเข้ารหัสและถอดรหัสไฟล์ไบนารีลงในไฟล์ข้อความ UTF-16 ที่ถูกต้องที่สามารถฝังอยู่ภายในไฟล์ XML

  • OGen ฟรี

    OGen เป็นตัวสร้างรหัส มันสร้างรหัสทั้งในไฟล์ข้อความและฟังก์ชั่นฐานข้อมูล (PostgreSQL และ SQL Server ได้รับการสนับสนุนในปัจจุบัน) ตามข้อมูลเมตา xml และ aspx / xslt แม่แบบที่จัดทําโดยผู้ใช้

  • HTTP Inspector Light ฟรี

    ส่งคําขอ HTTP GET, POST และ HEAD และส่งส่วนหัวแบบกําหนดเอง รองรับ SSL รวมถึงใบรับรองแบบลงนามด้วยตนเองจากนั้นคุณสามารถดูการตอบสนองจากเซิร์ฟเวอร์รวมถึงส่วนหัวและการตอบสนองการแสดงผลและดิบเมื่อเหมาะสม20/6/2010 - การแก้ไขข้