Dolphin Project 0.1.1
คุณจะสามารถดาวน์โหลดได้ภายใน 5 วินาที
นอกจากนี้คุณยังสามารถคลิกที่ลิงค์ดาวน์โหลดภายนอกต่อไปนี้เพื่อเริ่มดาวน์โหลด:
http://sourceforge.net/projects/dolphin-project/files/Dolphin%20SAT/Dolphin%20SAT%200.1.1/dsat-0.1.1.tar.gz/download
เกี่ยวกับ Dolphin Project
โครงการปลาโลมามีวัตถุประสงค์เพื่อเป็นเครื่องมือรวบรวมโครงการวิจัยที่เกี่ยวข้องกับเครื่องมือและเครื่องมือ Open Source Satisfiability Solver ที่เกี่ยวข้องกับพวกเขาเช่นตัวตรวจสอบแบบจําลองที่ถูกผูกไว้และตัวตรวจสอบซอฟต์แวร์
หลักสูตรที่เกี่ยวข้อง
-
Object Kernel and RunTime Library ฟรี
นี่คือห้องสมุดการศึกษาขนาดเล็ก: smalltalk เช่นวัตถุ, ตัวจัดสรรหน่วยความจําอย่างรวดเร็ว, เครือข่าย marshall / unmarshall, โมดูลแบบไดนามิก, ดีบัก, การเชื่อมโยงสองทางที่รวดเร็วและสกปรกระหว่างวัตถุของเราและ mozilla javascript หรื
-
College StatsPac Calculator ฟรี
คาดหวังมากกว่ากราฟ! - คืนเงินเต็มจํานวน 24 ชั่วโมงหากไม่พอใจกับ App!^_^!-สถิติที่ครอบคลุม--กับแพคเกจกราฟที่สมบูรณ์-ข้อเสนอ StatsPac:8ฟังก์ชั่นความน่าจะเป็นแยก,7ฟังก์ชั่นความน่าจะเป็นอย่างต่อเนื่อง,ช่วงความเชื่อมั่
-
TOEIC () 600 ฟรี
Logitalk (การฟัง) - (TOEIC) 600.(การฟัง) . .' TOEIC () 600 #39; 600 ..สคริปต์Logitalk ? , , .
-
UniquePrimer ฟรี
สคริปต์บรรทัดคําสั่งงูหลามที่เรียบง่ายสําหรับการออกแบบแบทช์ของไพรเมอร์ PCR ที่ไม่ซ้ํากัน ไพรเมอร์ได้รับการออกแบบโดยใช้ Primer3 และระเบิดกับฐานข้อมูลที่กําหนดเอง (เช่นจีโนม) เฉพาะไพรเมอร์ที่ไม่ซ้ํากันที่มีการแข่งขันเดียวจะถู
-
A Prosperous Way Down ทดลองใช้ฟรี
ทางที่เจริญรุ่งเรืองลง, เผยแพร่โดยมหาวิทยาลัยกดของโคโลราโดซื้อ ebook ปลอด DRM วันนี้! ขับเคลื่อนโดยอัลดิโกวิธีที่เจริญรุ่งเรืองลงพิจารณาวิธีการที่อนาคตที่มีเชื้อเพลิงฟอสซิลน้อยอาจจะสงบสุขและเจริญรุ่งเรือง, รวมทั้งคําแน
-
DICOM Confidential ฟรี
โครงการ DICOM Secret พัฒนาชุดเครื่องมือ de-identification ของโอเพ่นซอร์ส DICOM (Digital Imaging and Communications in Medicine) ที่ให้ความยืดหยุ่นที่จําเป็นสําหรับข้อกําหนดในการระบุตัวตนที่แตกต่างกัน
-
MPVS ฟรี
เครื่องมือในทางปฏิบัติเพื่อช่วยให้นักเรียนเข้าใจวิธีการเขียนโปรแกรมแบบคลาสสิกอย่างลึกซึ้งตามข้อกําหนด invariants ห่วงและการสลายตัวเป็นหัวข้อย่อย
-
DuMP3 - duplicate & similar file finder ฟรี
DuMP3 เป็นตัวค้นหาไฟล์ที่ซ้ํากันและคล้ายกัน มันพบไบนารีที่ซ้ํากันแน่นอนโดยแฮชไฟล์ข้อความที่คล้ายกันโดย substring เนื้อหาภาพ (JPG, BMP, GIF, PNG ฯลฯ ) ตามไฟล์สีและเสียง (MP3, WAV, OGG ฯลฯ ) ตามข้อมูลคลื่น อนาคต: แบบอักษร วิดีโ
-
AU FLUKA Tools ฟรี
มีเครื่องมือเสริมสําหรับรหัสการขนส่งอนุภาค Monte Carlo FLUKA (www.fluka.org)
-
STAS Software ฟรี
STASS ย่อมาจากซอฟต์แวร์รักษาเสียงการวิเคราะห์และการสังเคราะห์ มันจะให้ ingeneers และผู้ค้นหาที่ใช้งานง่ายเช่นเดียวกับเครื่องมือที่มีประสิทธิภาพสําหรับการวิเคราะห์เสียง (สเปกโตรโซน่าและอื่น ๆ ) การรักษา (ตัวกรองประตูเสียง) และ