@comment $NetBSD: PLIST,v 1.2 2009/10/11 10:45:24 thomasklausner Exp $
bin/vis
include/abs.h
include/absInt.h
include/amc.h
include/amcInt.h
include/array.h
include/avl.h
include/baig.h
include/baigInt.h
include/bdd.h
include/bddint.h
include/bdduser.h
include/bmc.h
include/bmcInt.h
include/cal.h
include/calInt.h
include/calMem.h
include/calPortInt.h
include/cmd.h
include/cmdInt.h
include/cmuPortInt.h
include/ctlp.h
include/ctlpInt.h
include/ctlsp.h
include/ctlspInt.h
include/cuPortInt.h
include/cudd.h
include/cuddInt.h
include/epd.h
include/eqv.h
include/eqvInt.h
include/error.h
include/fsm.h
include/fsmInt.h
include/grab.h
include/grabInt.h
include/graph.h
include/graph_int.h
include/graph_static.h
include/graph_static_int.h
include/heap.h
include/heapInt.h
include/hrc.h
include/hrcInt.h
include/imc.h
include/imcInt.h
include/img.h
include/imgInt.h
include/io.h
include/ioInt.h
include/list.h
include/lsort.h
include/ltl.h
include/ltlInt.h
include/maig.h
include/maigInt.h
include/mark.h
include/markInt.h
include/mc.h
include/mcInt.h
include/mdd.h
include/memint.h
include/memuser.h
include/mtr.h
include/mtrInt.h
include/mvf.h
include/mvfInt.h
include/mvfaig.h
include/mvfaigInt.h
include/ntk.h
include/ntkInt.h
include/ntm.h
include/ntmInt.h
include/ntmaig.h
include/ntmaigInt.h
include/ord.h
include/ordInt.h
include/part.h
include/partInt.h
include/puresat.h
include/puresatInt.h
include/res.h
include/resInt.h
include/restr.h
include/restrInt.h
include/rst.h
include/rstInt.h
include/rt.h
include/rtInt.h
include/sat.h
include/satInt.h
include/sim.h
include/simInt.h
include/sparse.h
include/sparse_int.h
include/spfd.h
include/spfdInt.h
include/st.h
include/synth.h
include/synthInt.h
include/tbl.h
include/tblInt.h
include/truesim.h
include/truesimInt.h
include/tst.h
include/tstInt.h
include/util.h
include/var.h
include/varInt.h
include/var_set.h
include/vm.h
include/vmInt.h
lib/libcal.a
lib/libcmu.a
lib/libcu.a
lib/libglu.a
lib/libvis.a
man/man1/vis.1
share/vis/createfunctionmap
share/vis/help/Cmd.txt
share/vis/help/_ctlp_testCmd.txt
share/vis/help/_ctlsp_testCmd.txt
share/vis/help/_grab_testCmd.txt
share/vis/help/_init_state_formulaCmd.txt
share/vis/help/_mAig_testCmd.txt
share/vis/help/_memory_profileCmd.txt
share/vis/help/_ntm_testCmd.txt
share/vis/help/_tbl_testCmd.txt
share/vis/help/_tst_testCmd.txt
share/vis/help/aliasCmd.txt
share/vis/help/approximate_model_checkCmd.txt
share/vis/help/bdd_sat_bounded_model_checkCmd.txt
share/vis/help/bounded_model_checkCmd.txt
share/vis/help/build_partition_maigsCmd.txt
share/vis/help/build_partition_mddsCmd.txt
share/vis/help/cdCmd.txt
share/vis/help/check_invariantCmd.txt
share/vis/help/cnf_satCmd.txt
share/vis/help/collapse_childCmd.txt
share/vis/help/comb_verifyCmd.txt
share/vis/help/compute_reachCmd.txt
share/vis/help/decompose_childCmd.txt
share/vis/help/dynamic_var_orderingCmd.txt
share/vis/help/echoCmd.txt
share/vis/help/flatten_hierarchyCmd.txt
share/vis/help/helpCmd.txt
share/vis/help/historyCmd.txt
share/vis/help/incremental_ctl_verificationCmd.txt
share/vis/help/init_verifyCmd.txt
share/vis/help/iterative_model_checkCmd.txt
share/vis/help/lang_emptyCmd.txt
share/vis/help/lsCmd.txt
share/vis/help/ltl2snfCmd.txt
share/vis/help/ltl_model_checkCmd.txt
share/vis/help/ltl_to_autCmd.txt
share/vis/help/model_checkCmd.txt
share/vis/help/network_sweepCmd.txt
share/vis/help/print_aig_statsCmd.txt
share/vis/help/print_ardc_optionsCmd.txt
share/vis/help/print_bdd_statsCmd.txt
share/vis/help/print_fairnessCmd.txt
share/vis/help/print_guided_search_optionsCmd.txt
share/vis/help/print_hd_optionsCmd.txt
share/vis/help/print_hierarchy_statsCmd.txt
share/vis/help/print_hybrid_optionsCmd.txt
share/vis/help/print_img_infoCmd.txt
share/vis/help/print_ioCmd.txt
share/vis/help/print_latchesCmd.txt
share/vis/help/print_mlp_optionsCmd.txt
share/vis/help/print_modelsCmd.txt
share/vis/help/print_networkCmd.txt
share/vis/help/print_network_dotCmd.txt
share/vis/help/print_network_statsCmd.txt
share/vis/help/print_partitionCmd.txt
share/vis/help/print_partition_aig_dotCmd.txt
share/vis/help/print_partition_statsCmd.txt
share/vis/help/print_tfm_optionsCmd.txt
share/vis/help/pwdCmd.txt
share/vis/help/quitCmd.txt
share/vis/help/read_blifCmd.txt
share/vis/help/read_blif_mvCmd.txt
share/vis/help/read_fairnessCmd.txt
share/vis/help/read_orderCmd.txt
share/vis/help/read_verilogCmd.txt
share/vis/help/regression_testCmd.txt
share/vis/help/res_verifyCmd.txt
share/vis/help/reset_fairnessCmd.txt
share/vis/help/restruct_fsmCmd.txt
share/vis/help/seq_verifyCmd.txt
share/vis/help/setCmd.txt
share/vis/help/set_bdd_parametersCmd.txt
share/vis/help/simulateCmd.txt
share/vis/help/sourceCmd.txt
share/vis/help/spfd_pdloCmd.txt
share/vis/help/spfd_piloCmd.txt
share/vis/help/static_orderCmd.txt
share/vis/help/synthesize_networkCmd.txt
share/vis/help/test_network_acyclicCmd.txt
share/vis/help/timeCmd.txt
share/vis/help/truesimCmd.txt
share/vis/help/unaliasCmd.txt
share/vis/help/unsetCmd.txt
share/vis/help/usageCmd.txt
share/vis/help/whichCmd.txt
share/vis/help/write_blifCmd.txt
share/vis/help/write_blif_mvCmd.txt
share/vis/help/write_orderCmd.txt
share/vis/help/write_smvCmd.txt
share/vis/ioBlifToMv.nawk
share/vis/ioBlifToMvForIncremental.nawk
share/vis/master.visrc
share/vis/memoryaccount
share/vis/script_compute_reach.robust
share/vis/script_compute_reach.simple
share/vis/script_fair_model_check.robust
share/vis/script_fair_model_check.simple
share/vis/script_generic.robust
share/vis/script_generic.simple
share/vis/script_lang_empty_check.robust
share/vis/script_lang_empty_check.simple
share/vis/script_model_check.robust
share/vis/script_model_check.simple
share/vis/sislib.mv
share/vis/visdbgpp