Browse New Popular Submit a Link
All ArtsBusinessChildrenComputersGamesHealthHomeNewsRecreationReferenceRegionalScienceShoppingSocietySports
Advertise herefrom $25.00/day  ·  RON $40.00/day

Bertrand

humnet.ucla.edu
Visit Site

First-order satisfiability checker and prover for the Macintosh.

Category
Software
Visits
498
Added
Dec 12, 2024
Rating
(69)
Rate This Site
More in Software Report
Advertise herefrom $12.00/day  ·  RON $18.00/day
Advertise herefrom $10.00/day  ·  RON $15.00/day
Advertise herefrom $8.00/day  ·  RON $11.20/day
Submit Your Site

Add your website to our directory for free.

Submit a Link
Related Links
Logic Software from CSLI 475 visits
Database of Existing Mechanized Reasoning Systems 457 visits
VeriFun 450 visits
SwitchMin Digital Circuit Minimizer 448 visits
MUltlog 432 visits
Advertise herefrom $15.00/day  ·  RON $21.00/day