• CryptoMiniSat是一个小型、易用、命令迅速基础的应用程序专门设计用户提供一个坐求解。

    这个工具的目标是成为一个首映坐了解所有的特点和速度的成功坐解决者。

  • CryptoMiniSat है एक छोटे से, आसान उपयोग करने के लिए, कमांड प्रॉम्प्ट पर आधारित आवेदन विशेष रूप से डिजाइन की पेशकश करने के लिए उपयोगकर्ताओं को एक बैठा रहता था ।

    यह उपकरण बनने के लिए करना है एक प्रीमियर बैठे सॉल्वर के साथ सभी सुविधाओं और गति के सफल बैठे solvers.

  • CryptoMiniSat is a small, easy to use, command prompt based application specially designed to offer users a SAT solver.

    This tool aims to become a premiere SAT solver with all the features and speed of successful SAT solvers.