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
HTMLPad 2018 15.5
WeBuilder 2018 15.5
SentiMask SDK Trial 2.0.0
Track Order For Magento 2 1.0.0
Calendar 365 For Dynamics CRM 4.0
Scimbo 1.2
Odoo Furnito Theme 1.0
.Net Assemblies/WSDL Import Utility for Delphi 6.0.4.0
Devart Excel Add-in for Zendesk 1.7
Excel Add-in for Marketo 1.7
GetOrgChart 2.5.3
AnyGantt JS Gantt Charts 8.6.0
AnyChart JS Charts and Dashboards 8.6.0
Multi Vendor Ecommerce Script & Apps 4.0
Magento 2 Inventory Management Extension 1.0
Top Code
VisualNEO Web 2018.12.15
Paste phpSoftPro 1.4.1
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
Invoice Manager by PHPJabbers 3.0
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
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...