Windows
Most popular apps
Mac
iOS
Android
Software coupons
GNU Prolog: Native Compiler with FD Constraint Solving
Accept Prolog with constraints and compile over finite domains.
