This is a very simple example to show how a user can usesoft constraints that the constraint solver will attempt touse. This example extends example 10 by adding a set of softconstraints that will not be satisfied.The following source files are part of this example:  test.cc   A test that contains a constraint definition            and a test that uses the constraint  Makefile  Targets for sun-gnu, hppa-native and linuxA makefile for use with SystemC is provided with targets forthree different platforms:  make sun-gnu        # Gnu C++ compiler on Sun  make hppa-native    # HP C++ compiler on HP  make linux          # Gnu C++ compiler on Linux%%CATEGORIES            notebook examples randomization constraints %%TBARGS        ncsc    --stop hdl_elab --sconly sctop%%LinePrefix    all%%Files         none    %%REGSRC/test.cc %%REGSRC/test_reg.cc%%Files         osci    %%REGSRC/test.cc%%Files         schdl   %%REGSRC/test.cc%%Files         ncsc    %%REGSRC/test_reg.cc%%CheckTest     all     %%REGSRC/checktest.sh %%TBLOG %%REGSRC/tb_log.au%%REALCLEAN             %%REGBLD/logfile.diff