Any Windows Software - Shareware and Freeware Download Center for Windows

Top Downloads

New Downloads

Popular Searches

Recent Searches

Latest Reviews

  • Acronis True Image for Mac   (Henry)

    Takes full backup of a Mac system which includes saved files and folder plus installed apps.

  • Lodgit Desk Hotel Software for Mac   (Arnold)

    I run a small guest house in Nepal where this software is in use for last two years, we felt this is good enough for any...

  • XolidoSign   (Zico)

    Allows me to insert signature on any document automatically before dispatching, other software requires manual instruction.

  • Wurlie   (Tenesy)

    Make unlimited number of short urls with this script without knowing much about processes that take place in background.

  • Start Hotspot   (heltvet)

    You may turn your android phone to a wifi hotspot but your data may be misused unless you have some sort of control over...

  • NCheck Bio Attendance Trial for Windows   (Jeusme)

    The system is implemented in my office premises, it maintains the employees in and out time accurately, helps the accounts...

  • FirePlotter   (Kacper)

    Monitors all in-coming and outgoing traffic to your PC, also shows the consumed bandwidth to calculate internet bill.

  • FolderMill   (Fairyn)

    FolderMill is an automation software which looks for incoming files and send them to printer by filtering as per your...

  • DocuVieware   (Sigfrid)

    Fully featured document viewer which can be added in your page to load and read almost any type files, the software can...

  • Kiosk Software   (Emmerentiana)

    Restricts access to the public computers and kiosks to prevent changes or viruses from affecting it, hence you need no...


Cnf

Show: All Software | Free Software Only | Mobile Software Only
Gerador de Formulas Horn CNF

Gerador de Formulas Horn CNF 1.0

Published: Aug 02, 2012
Gerador aleatAlrio de fAlrmulas de HORN no formato padrALo cnf, com N A?

Price: $0.00 (Freeware) Size: 2.7 MB Site: geradorhorncnf.sourceforge.net (geradorhorncnf.sourceforge.net) More info Download
Gerador de fAlrmulas CNF

Gerador de fAlrmulas CNF 1.0

Published: May 13, 2012
Gerador aleatAlrio de problemas no formato padrALo cnf, com N A?

Price: $0.00 (Freeware) Size: 2.7 MB Site: geradorcnf.sourceforge.net (geradorcnf.sourceforge.net) More info Download




DNFCNFconverter

DNFCNFconverter 1.0

Published: Jun 16, 2012
c++ tools to convert any boolean formula to CNF or DNF, and make basic simplification.

Price: $0.00 (Freeware) Size: 1.8 MB Site: dnfcnfconverter.sourceforge.net (dnfcnfconverter.sourceforge.net) More info Download
Logic Minimizer

Logic Minimizer 1.2.1

Published: Sep 09, 2012
Logic Minimizer is an innovative, versatile application for simplifying Karnaugh maps and logical expressions step by step.

Tags: Algebra - Boolean - Circuit - Cnf - Digital - Dnf - Formal - Gate - Implicant - Karnaugh
Price: $22.95 (Shareware) Size: 6.9 MB Site: logicminimizer.com (Vikhetan Appa) More info Download
Parallel Sat4J

Parallel Sat4J 1.0

Published: May 26, 2012
This is an academic project; the main objective is to generate an algorithm to parallelize a CNF formula and then feed the distributed parts to sequential SAT solvers, for this project we have choose to use Sat4J as the solver.

Price: $0.00 (Freeware) Size: 59.1 KB Site: parallelsat4j.sourceforge.net (parallelsat4j.sourceforge.net) More info Download
S-SAT - Sapienza SAT

S-SAT - Sapienza SAT 0.6beta

Published: May 14, 2012
During a course at University "La Sapienza" in Rome I developed a fully working SAT solver based on unit propagation and backtracking; it can read DIMACS files and process cnf formulas of any length(there are no restrictions on the number of literals

Price: $0.00 (Freeware) Size: 78.7 KB Site: s-sat.sourceforge.net (s-sat.sourceforge.net) More info Download
DoneEx INI-File Manager DLL

DoneEx INI-File Manager DLL .1.3.1

Published: Feb 27, 2006
This library allows you manipulate with INI-file by the easiest way from any programming language. You can create new or load existed INI-file and manage sections and keys in it. You can produce action with sections and keys of INI-file as: - search,

Tags: Basic - C - C++ - Cnf - Config - Configuration - Control - Cpp - Delphi - Development
Price: $19.99 (Shareware) Size: 175.0 KB Site: DoneEx.com (DoneEx) More info Download
DoneEx INI-File Manager ActiveX

DoneEx INI-File Manager ActiveX .1.3

Published: Feb 27, 2006
INI-File Manager ActiveX allows you manipulate with an INI-file and its elements by the easiest way from any programming language. The INI-File Manager ActiveX can be used from VB, VBA, VB.NET, VC++, VC.NET, VBScript, JScript, Delphi, ASP, ASP.NET an

Tags: .net - Activex - Basic - C - C++ - Cipher - Cnf - Com - Config - Configuration
Price: $24.99 (Shareware) Size: 392.0 KB Site: DoneEx.com (DoneEx) More info Download
Artificial Intelligence Magic

Artificial Intelligence Magic 1.0

Published: Aug 04, 2012
AI Magik is a templatized C++ library providing basic predictors for supervised learning as reusable modules.

Price: $0.00 (Freeware) Size: 113.6 KB Site: aimagik.sourceforge.net (aimagik.sourceforge.net) More info Download

a - b - c - d - e - f - g - h - i - j - k - l - m - n - o - p - q - r - s - t - u - v - w - x - y - z - #
© 1997-2015 ShareMe Last Update: Monday, December 18, 2017 shareme | contact | notice | privacy | bookmark | link to us

Welcome to the ShareMe. Shareme is a dedicated internet portal bringing users the latest shareware & freeware from the world's best Software Authors. Shareme allows Shareware & Freeware Authors to submit their latest wares, so you the user are able to download their latest software updates all the time, after they are released! Always visit Shareme for your software needs.