Sat Locator

SAT solvers by Cross-Entropy (CE) and a Botev-Kroeze (BK) optimization algorithmsCNF SAT problems can be formulated as :S(X)=sum(j=1,...,m)C_j, where C_j=max(0 , (2X_i-1)*AjiPlease run the demo filestest_ce_satA.mtest_cemcmc_satA.mIn order to compile mex-files on your platform, please run...

STL to ACIS SAT converter=========================Adam H. Aitkenhead31st March 2010Convert an STL file into an ACIS v4.0 SAT file (Standard ACIS Text), which can be more readily imported into various CAD packages (including Solidworks) as a solid model. USAGE:======>>...

This plugin puts a search form and an interactive Google map on your site so you can show visitors your store locactions. Users search for stores within a specified radius. Full admin panel data entry and management of stores from a few to a few thousand.Features * You can use it for a variety of...


Platforms: PHP

incremental-sat-solver is a free and open source Haskell library that provides an implementation of the Davis-Putnam-Logemann-Loveland algorithm for the boolean satisfiability problem. incremental-sat-solver not only allows to solve boolean formulas in one go but also to add constraints and...


Platforms: Mac

Wondering where the default copy of a specific application is? Enter its bundle identifier or name into the field and press enter, and Application Locator will open a Finder window for the folder containing the app.


Platforms: Mac

Code relocator for processors x86, NEC V25, V40, V50, Am486, AMD SC400 etc. Uses output of Turbo/Borland C++, Turbo/Borland Pascal and TASM. Suitable for x86 compatible embedded systems und industrual / flat / raw / ROM / BIOS PC applications.


Platforms: Windows

Vocaboly is a learning software for English vocabulary, especially for TOEFL, GMAT, GRE, SAT test takers, through many learning methods, including test and game, the hard memorization will be much easier and more efficient, especially lots of fun. Main Features [Big Vocabularies] Vocaboly...


Platforms: Windows

The Strategic SAT/ACT/GRE tutor that can really improve your score on entrance exams. 13 lessons emphasize STRATEGY, not boring drill. Includes strategic word list and shows how to improve your SAT score. Author is award-winning teacher whose students have averaged 70 point increase in SAT...


Platforms: Windows

Locator is a simple graphical interface to /usr/bin/locate.The "locate" command is able to find files on your computer very quickly.


Platforms: Mac

X-Sat is a utility that downloads directly from the Internet the latest satellite images among a predefined set of areas (Earth, USA, Europe, Africa, Asia...). You can configure X-Sat to download automatically a given satellite image each time you launch it.


Platforms: Mac

The ISS Locator displays the current location of the International Space Station, permitting visual sightings of the station during clear evenings and for Ham Radio operators to determine QSO opportunities.


Platforms: Mac

SAT Vocab Prep was developed to help you prepare for a Scholastic Assessment Test (SAT). Each test requires that you match words to descriptions (simple definitions); there are 20 words in each test. Each word is selected randomly from a built-in list of approximately 5,000 words. When the "Start...


Platforms: Mac

The iTunes Album Artwork Locator allows you to easily copy album artwork into iTunes. Too often your iTunes music library is filled with music, however something is missing. Where is the album artwork? With the iTunes Album Artwork Locator you can easily find artwork for your albums and copy the...


Platforms: Mac

Automesher application extends AutoCAD / BricsCAD / ZWCAD software with functionality to import and export 3D file formats and convert 3D drawing entity types. It supports many of 3D file extensions, including STL (Stereolithography), OFF (Object File Format), OBJ (Alias Wavefront Object), 3DS...


Platforms: Windows, Windows 7

** Special introductory price. Limited time only! ***** ** This is the full version of SAT Exam Prep for SAT preparation, find more of our products and get ready for the exam now!!! ******* ___________________________________________


Platforms: Mac

These modifications allow you to create and maintain a list of vendors in the admin section and present them to your customer. Vendors are presented to the customer by distance (in miles) using a latitude & longitude algorithm based upon the customers_default_address_id entry_postcode in the...


Platforms: Windows, *nix, PHP, BSD

The array's end points are automatically excluded. Requirements: - MATLAB 7.8 or higher


Platforms: Windows, Mac, *nix, Matlab, BSD Solaris

This plugin puts a search form and an interactive Google map on your site so you can show visitors your store locactions. Users search for stores within a specified radius, enter your address, or select a city or country from the pulldown. Full admin panel data entry and management of stores from...


Platforms: PHP

Autoconverter is a native Windows operating system executable that allows to import, export and convert between different 3D file formats. It supports many of 3D file extensions, including STL (Stereolithography), OFF (Object File Format), OBJ (Alias Wavefront Object), 3DS (3D-Studio File...


Platforms: Windows, Windows 7

Import, export & convert between different 3D file formats including STL (Stereolithography), OFF (Object File Format), OBJ (Alias Wavefront Object), 3DS (3D-Studio File Format), IV (Inventor File), SAT (Standard ACIS Text), PLY (Stanford Polygon Format), VRML (Virtual Reality), 3DM (Rhinoceros...


Platforms: Windows, Windows 8, Windows 7, Windows Server