Search
Code Directory
 ASP
 ASP.NET
 C/C++
 CFML
 CGI/PERL
 Delphi
 Development
 Flash
 HTML
 Java
 JavaScript
 Pascal
 PHP
 Python
 SQL
 Tools
 Visual Basic & VB.NET
 XML
New Code
.Net VCL for Delphi 1.0.0.0
ASP. NET C# PDF Software 4.5
LinqConnect Professional 4.8
CAD VCL: 2D/3D CAD in Delphi/C++Builder 14
wolfSSL 3.15.7
CAD DLL 14
AnyStock Stock and Financial JS Charts 8.4.2
ODBC Driver for SQLite 2.4
dotConnect for SugarCRM 1.7
dbForge SQL Complete 5.9
dbForge Studio for MySQL 8.0
.Net Runtime Library for Delphi 6.0.4.0
Scimbo 1.64
AnyMap JS Maps 8.4.2
GetOrgChart 2.5.3
Top Code
Deals and Discounts Website Script 1.0.2
ADO.NET Provider for ExactTarget 1.0
Solid File System OS edition 5.1
Classified Ad Lister 1.0
Aglowsoft SQL Query Tools 8.2
ICPennyBid Penny Auction Script 4.0
PHP Review Script 1.0
ATN Resume Finder 2.0
ATN Site Builder 3.0
Availability Booking Calendar PHP 1.0
PHP GZ Blog Script 1.1
ATN Jobs Software 4.0
ATN Mall 2.0
WeBuilder 2015 13.3
PHP Digital Download Script 1.0.4
Related Code
Sat Finder
Big Sat Receiver
Sat Manager
Sat Cod comhotbird13new
Sat Solver
Sat Position
Sat Solver C
Java Sat Solver
Sat Solvers
Sat Card
Sat Card Decrypter
Sat Words College
Sat Java Code
Sat
All | Freeware

Code 1-13 of 13   






SAT solvers by Cross-Entropy (CE) and a Botev-Kroeze (BK) optimization algorithms

CNF SAT problems can be formulated as :

S(X)=sum(j=1,...,m)C_j, where C_j=max(0 , (2X_i-1)*Aji

Please run the demo files

test_ce_satA.m
test_cemcmc_satA.m

In order to compile mex-files on your platform, please run first

mexme_cebk_sat.m (be sure that mex -setup is done before)



STL to ACIS SAT converter
=========================

Adam H. Aitkenhead
31st March 2010

Convert an STL file into an ACIS v4.0 SAT file (Standard ACIS Text), which can be more readily imported into various CAD...



Proyecto de Codigo Abierto para generar Comprobantes Fiscales Digitales (CFD) segn la normas de SAT en mexico publicadas en el 2006



AvatarSAT is a SAT solver that uses machine-learning classifiers to automatically tune the heuristics of an off-the-shelf SAT solver on a per-instance basis.



CAD Import VCL is a source code provided library for managing CAD files in Delphi and C++ Builder. Most of the known 2D and 3D vector formats are supported, including AutoCAD DXF/DWG 2013.

The software provides easy access to entities...




SAT (Solar Apparent Time YYYY/MM/DD hh:mm:ss) [N x 19] char
SMT (Solar Mean Time YYYY/MM/DD hh:mm:ss) [N x 19] char



Web CAD SDK is an ASP.NET control for quick visualization of different drawing formats on the Internet, Intranet, SharePoint, Office 365 and other online HTML5 enabled technologies. It supports CAD AutoCAD DWG, DXF, HPGL, PLT, etc), vector (PDF,...



I've found a bug in import EML file into Thunderbird using ImportExportTools addon:
when I import eml file into TB there are a 'From' line added to mbox followed with EML file contents.
TB maintains right 'From' line for messages fetched...



M-file that calculate weeknumber based on a date. Date can be given as scalar or a vector. Datevalues can also be provided as textvalues, but then must a second variable describing the that format also be read in.

In addtion can a third...



This code takes an input string (usually six letters) and displays all meaningful words (according to Microsoft Word dictionary) that can be formed from them. All combinations from three letters up to the full length of the input string are...



DEVELOPMENT AND SUPPORT HAS BEEN STOPPED! ANY ONE WHO WANTS TO MAINTAION THE PROJECT IS WELCOME.
GELdoT-dLDTTdoT-RME VE DESTEK DURMUdLDTTUR. BAKIMI doDUSTLENEBdoT-LECEK KdoT-dLDTdoT-LER ARANMAKTADIR.

A module used to process...



CAD VCL is a library for creating software in Delphi and C++Builder applications. With its help a developer can create, visualize, import, export, print drawings and also get access to properties of entities. CAD VCL supports a large number of 2D...



CAD VCL is a library for creating software in Delphi and C++Builder applications. With its help a developer can create, visualize, import, export, print drawings and also get access to properties of entities. CAD VCL supports a large number of 2D...