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
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 CAD software in Delphi and C++Builder applications. With its help a developer can create new drawings, import and visualize the existing ones, edit them and export to other formats and also get access to...