Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. RedSam

RedSam

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara
Download

Batasan Masalah Kepuasan Solver untuk batasan Biner, input file di XML dengan format saat ini XCSP 2.1, diadopsi untuk kompetisi pemecah CSP / MaxCSP / WCSP 2008. Solver berada di C++ dan menggunakan library boost

Riwayat versi

  • Versi RedSam diposting di 2008-03-26
    Beberapa perbaikan dan pembaruan
  • Versi N/A diposting di 2008-03-26

Detil Program

Program Terkait

  • VSource PHP Image Reflection Script Gratis

    Skrip Refleksi Gambar PHP ini akan menghasilkan gambar dengan pantulan yang dihasilkanSatunya mengambil parameter gambar di antara parameter lain dan menghasilkan gambar mentah untuk ditampilkan di browser. Mendukung format i

  • wmpower Gratis

    wmpower adalah aplikasi dock Window Maker untuk Linux yang memungkinkan pengguna untuk melihat (dan mengatur) status manajemen daya laptopnya. Ditulis dalam C, bekerja dengan kernel yang diaktifkan APM dan ACPI. Ini juga anta

  • FortCUDA Gratis

    Proyek ini untuk pengikatan CUDA pada F95/2003 menggunakan modul ISO_C_BINDINGS Fortran 2003. Ini dimaksudkan untuk memberikan sintaks panggilan asli ke CUDA SDK di Fortran 2003. Saat ini, sebagian besar kompilasi Fortran men

  • Neurophysiology Analysis Toolkit Gratis

    Paket open-source untuk analisis data neurofisiologis -- pemrosesan offline (vs real-time) kereta lonjakan neuron tunggal atau data EEG yang terkait dengan perilaku dan proses memori. Saat ini MATLAB berat, dengan beberapa ko

  • Lojban Glossary Builder Gratis

    Program Java untuk membuat glosarium (berpotensi multibahasa) dari kata-kata unik dalam teks Lojban tertentu.

  • Eclipse XML based SRS Gratis

    EMF 2.0 menghasilkan plugin Eclipse untuk menghasilkan Spesifikasi Persyaratan Perangkat Lunak Berbasis XML, Penggunaan Berpusat pada Kasus dengan keterkaitan dengan dokumen eksternal dan komponen perangkat lunak yang dihasil

  • Fitnium Gratis

    Kombinasi FitNesse dan Selenium, menyediakan langauge spesifik domain yang memungkinkan tidak ada pengembang untuk menulis tes selenium dalam bahasa Inggris biasa yang dieksekusi melalui kerangka kerja Fitnesse. Mendukung htt

  • Kyumo: Kyu Jong Memo Widget Uji Coba Gratis

    Fitur:- Anda dapat menempatkan beberapa memo di layar Anda- Sejak./Untuk. penghitungan/hitung mundur hari didukung- 3 warna dapat dipilih - Set ikon Kyu Jong dan SS501- Ketika hitung mundur ke D-1 dan D-0, pemberi

  • The Pirate Bay Browser Gratis

    Aplikasi ini tidak mengambil informasi pribadi apa pun dari perangkat*Ads adalah apa yang membuat aplikasi ini tetap gratis, izin GPS diperlukan oleh fungsi iklan, ini hanya memicu agar fungsi iklan menargetkan iklan kepada p

  • axdistcc Gratis

    axdistcc adalah liveCD kecil dengan distcc, itu memungkinkan penciptaan mudah dari peternakan kompilasi. Ini digunakan sebagai sistem dasar Slackware Linux 11.0 dan skrip linux-live yang dimodifikasi.