The NetBSD Project

pkgsrc/math/yices2/

Click on a directory to enter that directory. Click on a file to display its revision history and to get a chance to display diffs between revisions.

Current directory: [cvs.NetBSD.org] / pkgsrc / math / yices2


File Rev. Age Author Last log entry
[BACK] Parent Directory        
[DIR] patches/        
[TXT] DESCR  1.1.1.1   9 months  alnsn   Initial import of Yices 2, version 2.6.1. Yices 2 is an SMT solver that decides...
[TXT] Makefile  1.3   6 months  rillig   math: align variable assignments pkglint -Wall -F --only aligned -r Manual cor...
[TXT] PLIST  1.1.1.1   9 months  alnsn   Initial import of Yices 2, version 2.6.1. Yices 2 is an SMT solver that decides...
[TXT] buildlink3.mk  1.2   9 months  alnsn   Make pkglint happy.
[TXT] distinfo  1.1.1.1   9 months  alnsn   Initial import of Yices 2, version 2.6.1. Yices 2 is an SMT solver that decides...


CVSweb <webmaster@jp.NetBSD.org>