نام (NAME)

cvc4 - زبان ورودی بومی برای CVC4

توضیحات (DESCRIPTION)

cvc4 یک اثبات‌کننده خودکار قضیه برای فرمول‌های مرتبه اول با توجه به نظریه‌های پس‌زمینه مورد نظر است.

تاریخچه (HISTORY)

همچنین ببینید (SEE ALSO)

cvc4(1), libcvc4(3), libcvc4parser(3)

علاوه بر این، ویکی CVC4 شامل اطلاعات مفیدی درباره طراحی و ساختار درونی CVC4 است و در نشانی زیر نگهداری می‌شود: http://cvc4.cs.stanford.edu/wiki