For nonprofits companies looking for a CRM solution
Effortlessly manage client intake, case notes, service delivery, and schedules; track clients, caseworkers, volunteers, and donors; and report on key metrics to report back to funders.
This is an intelligent Sudoku solver in c++. It is intlligent, because it uses several logical deduction methods, just like a person, before resorting to guessing. I was trying to teach my kids Sudoku, and taught a computer as proof of concept.
Sudoku+ is a fully-featured Windows Sudoku puzzle game. If you like puzzles, deduction or intense arcade style Sudoku action, this is the game for you.
Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.