Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. Dolphin Project

Dolphin Project 0.1.1

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 3.5/5 - ‎2 ‎Suara
Download

Proyek Lumba-Lumba dimaksudkan untuk menjadi alat agregasi proyek penelitian yang terkait dengan alat dan alat Open Source Satisfiability Solver yang terkait dengan mereka seperti Pemeriksa Model Terikat dan Verifier Perangkat Lunak.

Riwayat versi

  • Versi Dolphin%20SAT%200.1.1 diposting di 2008-03-02
    Beberapa perbaikan dan pembaruan
  • Versi Dolphin SAT 0.1.1 diposting di 2008-03-02

Detil Program

Program Terkait

  • Object Kernel and RunTime Library Gratis

    Ini adalah perpustakaan pendidikan kecil: smalltalk seperti objek, alokator memori cepat, jaringan marshall / unmarshall, modul dinamis, debug, hubungan dua arah yang cepat dan kotor antara objek kami dan mozilla javascript a

  • College StatsPac Calculator Gratis

    Mengharapkan Lebih dari Grafik! - Full refund, 24 jam jika tidak puas dengan App!^_^!-Statistik Komprehensif--dengan paket Grafik Lengkap-StatsPac menawarkan:8 Fungsi Probabilitas Diskrit,7 Fungsi Probabilitas Berke

  • TOEIC () 600 Gratis

    Logitalk (Mendengarkan) - (TOEIC) 600.(Mendengarkan) . .' TOEIC () 600 ' 600 ..Script.Logitalk, apa yang terjadi? , , .

  • UniquePrimer Gratis

    Skrip baris perintah python sederhana untuk desain batch primer PCR yang unik. Primer dirancang menggunakan Primer3 dan diledakkan terhadap database kustom (misalnya genom). Hanya primer unik dengan satu pertandingan yang d

  • A Prosperous Way Down Uji Coba Gratis

    A Prosperous Way Down, diterbitkan oleh University Press of ColoradoBeli ebook bebas DRM ini hari ini! Didukung oleh Aldiko.A Prosperous Way Down mempertimbangkan cara-cara di mana masa depan dengan bahan bakar fosil y

  • DICOM Confidential Gratis

    Proyek Rahasia DICOM mengembangkan toolkit identifikasi de-identifikasi DICOM (Digital Imaging and Communications in Medicine) open source yang memberikan fleksibilitas yang diperlukan untuk memperhitungkan berbagai persyarat

  • MPVS Gratis

    Alat praktis untuk membantu siswa memahami metodologi pemrograman klasik berdasarkan spesifikasi, invarian loop, dan dekomposisi menjadi subproblem.

  • DuMP3 - duplicate & similar file finder Gratis

    DuMP3 adalah penduplikat dan penemu file serupa. Ini menemukan biner duplikat yang tepat oleh hash, file teks serupa dengan substring konten, gambar (JPG, BMP, GIF, PNG, dll) oleh file warna dan audio (MP3, WAV, OGG, dll) den

  • AU FLUKA Tools Gratis

    Menyediakan alat bantu untuk kode transportasi partikel Monte Carlo FLUKA (www.fluka.org).

  • STAS Software Gratis

    STASS adalah singkatan Dari Sound Treatment, Analysis and Synthesis Software. Ini akan memberikan ingeneer dan pencari mudah digunakan serta alat berkinerja untuk analisis suara (spektro, sona dan sebagainya), perawatan (filt